[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
	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 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