[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-bugs] likely bad code



Thanks, Eric. It saves me some typing. This give us more incentive to use
issue tracker. 

-Xuejun

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