Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
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?

On 15.07.2022 12:53, Mickael Istria wrote:
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

Back to the top