20 Oct
2014
20 Oct
'14
11:44 p.m.
Whoops, accidentally only addressed Ben instead of the list:
On 20 Oct 2014, at 12:13 , Ben Gamari
a) Confusion between Github issue numbers, Trac bug numbers, and Phabricator identifiers
It is possible to disable GitHub issues on a repository, would this not at least solve the issue number confusion? I only figured this out today when trying to *enable* issues on my personal fork of another project. Cheers, Merijn