[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-bugs] likely bad code
Xuejun> I have hoped it could save me from double records: one to the
Xuejun> commit message, one to the mailing list (bug reporter). But
Xuejun> that's not the case. I still have to enter an revision# then
Xuejun> manually close the "issue".
According to its online documentation, GitHub supports closing issues via
commits. The magic words are
Closes #N
or
Closes GH-N
where N is the issue number.
Supposedly, the following are synonyms for "closes" that GitHub recognizes:
close closes closed fixes fixed
Eric.
--
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu> . University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX