[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