Please merge the three pull requests on GitHub

[Andrew Miloradovsky <miloradovsky gmail com>]

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