Albert Astals Cid
2018-Feb-12 22:06 UTC
[fdo] Is https://github.com/freedesktop/ controlled by us?
When was this introduced? Why was this list not informed? This is really sad. I've just realized there's 3 pull requests on https://github.com/freedesktop/poppler/pulls that noone had answered and obviously i can't even close them. I would really suggest we use something similar to what KDE uses and close automatically pull requests for https://github.com/freedesktop and point people to the right place. Cheers, Albert
Albert Astals Cid
2018-Mar-25 16:07 UTC
[fdo] Is https://github.com/freedesktop/ controlled by us?
Ping? Cheers, Albert El dilluns, 12 de febrer de 2018, a les 23:06:28 CEST, Albert Astals Cid va escriure:> When was this introduced? > > Why was this list not informed? > > This is really sad. > > I've just realized there's 3 pull requests on > https://github.com/freedesktop/poppler/pulls > that noone had answered and obviously i can't even close them. > > I would really suggest we use something similar to what KDE uses and close > automatically pull requests for https://github.com/freedesktop and point > people to the right place. > > Cheers, > Albert > > > _______________________________________________ > freedesktop mailing list > freedesktop at lists.freedesktop.org > https://lists.freedesktop.org/mailman/listinfo/freedesktop