On 13 December 2017 at 09:07, Warren Young <war...@etr-usa.com> wrote: > On Dec 13, 2017, at 9:55 AM, Richard Hipp <d...@sqlite.org> wrote: >> >> Would Git or GitHub have told me about those prior tickets? > > GitHub is pretty good about surfacing such information, as long as the ticket > references the checkin ID.
Yep. With most projects I follow on github, the commiter includes the referenced issue number in the description or somewhere in the commit message. > > In fact, GitHub can be a bit overeager about cross-linking everything. Just > write “#1” in some bit of Markdown somewhere, and you’ll get linked to issue > #1, even if you didn’t mean to refer to it. > Agreeded. > Git wouldn’t, of course, since it doesn’t have a ticket tracker. :) > Presumably there are Git + bug tracker lash-ups that will do this > bidirectional linking. > -- ------- inum: 883510009027723 sip: jungleboo...@sip2sip.info _______________________________________________ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users