| Re: [pde-dev] [platform-dev] PDE and GitHub |
Of course making everyone efficient is an important goal! I think it's also an important goal to preserve historical information, especially around discussions with respect to design decisions. From that point of view, I wonder, does each PR-only commit really have a link back to the PR?
I look at this commit and I see no such link(s):
I don't see such a link from here either.:
https://github.com/eclipse-pde/eclipse.pde/commit/36b87ff2d4a4192fc9baa1fafa970a966464f506
Contrast that to this commit which has links:
And from here one can navigate those links:
https://github.com/eclipse-pde/eclipse.pde/commit/c9e687a44805f1fb26e422d25a1982f74291bffd
So it seems to me that yes a PR is much like an Issue, but
without links to one or both in the commit itself, it's just a
commit and one cannot find out any historical information
discussions and design decisions that were made relative to that
commit. I expect that information is useful and has gone
missing. Or did I overlook something that such links at least to
the PR are implicitly navigable somewhere?
Hi Vikas,
Like Lars, I'm also unsure adding more tickets and bureaucracy as a requirement will help the committers in being more efficient.Can you please explain the current problems that you or others face with tracking in the current state? Maybe we can find some tricks (eg GitHub queries) to satisfy you needs without requiring an issue for every PR if the contributor didn't reporting an issue a-priori was useful.
Cheers
_______________________________________________ platform-dev mailing list platform-dev@xxxxxxxxxxx To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev