Closed vogella closed 2 years ago
I triggered the change via the GH web UI. Do you know if I still can edit the file or allow you to edit the change? Or do I have to pull this change locally to update it?
I triggered the change via the GH web UI. Do you know if I still can edit the file or allow you to edit the change? Or do I have to pull this change locally to update it?
I think you can commit the suggested change from the UI (which probably adds a new commit) and then squash-and-merge all together in the end.
Thanks for the suggestion and the help. Adding the pr would IMHO not helpful hence I just merged it as is. Thanks again.
I noticed that the main page is quite out of date now...
https://github.com/eclipse-pde
Also, we might want to change the POM ids too:
<artifactId>eclipse.pde.ui</artifactId>
@merks sounds fine to me, lets do this via new pull requests.
I noticed that the main page is quite out of date now...
I think this is https://github.com/eclipse-pde/eclipse.pde/issues/12. Feel free to take over. :)
Also, we might want to change the POM ids too:
<artifactId>eclipse.pde.ui</artifactId>
Yes, I have already started to work on this. I plan to submit this this evening.
Adding a readme to document that the content of these repo has been merged.