Re: Please merge the three pull requests on GitHub
Andrew Miloradovsky <[email protected]> Wed, 19 Apr 2017 10:25:45 +0000
| Newsgroups | gmane.comp.gnome.apps.planner.devel |
|---|---|
| Message-ID | <[email protected]> |
Maybe I should give the explicit link to the branch with the fix I mentioned: https://github.com/amiloradovsky/planner/tree/zero-width-lines On 04/19/2017 09:46 AM, Andrew Miloradovsky wrote: > Hello, Planner developers! > > Several months ago I had a not very pleasant experience > in an attempt to contribute to GNOME, namely Planner: > I wanted to commit a fix for a strange issue which happened to me on a > distribution. > It was somewhat hard to reproduce but the patch was, IMO, very > reasonable nevertheless. > I was told by the port maintainers to better commit the fix upstream. -- > Of course! > > I noticed that many GNOME projects have a mirror on GitHub, > and tried to open a pull request, in hope it will be merged, sooner or > later. > Alas, that PR was automatically closed and I was sent into the > documentation, > which basically told me to go fuck myself... > > Recently I checked how much Planner progressed during these months, > and what happened to the "open-closed" PR's on GitHub, by the way... > I understand that GitHub is a questionable enterprise -- convenient, > but hosting FOSS projects there is not very wise in the long run. > OTOH, by the nature of Git, it shouldn't matter where the submitted > patches are hosted, > even if that's hell. > > All that being said: for God's sake, somebody, > just forget all those ideological considerations for a moment, > merge the PR's, or at least leave a comment why you wouldn't! > Showing some activity on GH by not ignoring those "open-closed" PR, > I'm sure, may spark the interest for further contributions! Next time, > I promise to use Bugzilla or whatever in-house GNOME tools I'm supposed > to use. > > https://github.com/GNOME/planner/pulls?q=is%3Apr+is%3Aclosed