[postgis-devel] PostGIS + Github = <3

Sandro Santilli strk at kbt.io
Thu Oct 12 10:49:04 PDT 2017

On Thu, Oct 12, 2017 at 04:54:23PM +0000, Darafei "Komяpa" Praliaskouski wrote:

> Things I can't do as regular user on Github now are:
>  - adding/removing labels to PRs;
>  - rebasing and tweaking descriptions of other people's PRs to include
> authorship and ticket link.
> There are also some other ideas of what could be done (attaching other
> build bots, forwarding PRs...). Please share them :)

My most important tasks for GitHub are:

 - Make sure every PR has a corresponding trac ticket
   and cross-link the two.

 - Ask contributors to include attribution in their
   commit log

 - Ask contributors to include a NEWS item when needed

You can use labels to distinguish things which already got
the trac ticket link and those who still don't have it.

We'd still manage tickets on trac so anything which isn't on trac
won't be considered when it is time to see what's left to do before
next release.

Oh, and rather than being "part of the team" I was actually thinking
of you as the "Team Leader" :)

The call is open for leaders for teams interested in the the other
mirrors: https://trac.osgeo.org/postgis/wiki/CodeMirrors


More information about the postgis-devel mailing list