Rename branch `development` to `develop`

pgRouting / docker-pgrouting

Docker for pgRouting

https://hub.docker.com/repository/docker/pgrouting/pgrouting

GNU General Public License v2.0

66 stars 34 forks source link

Rename branch `development` to `develop` #14

Closed dkastl closed 4 years ago

dkastl commented 5 years ago

In pgRouting project we kind of stick to the convention to name the development branch develop and it took me quite some time to figure out why I couldn't find it ;-)

cayetanobv commented 5 years ago

Done @dkastl . I don't remember why I created development instead of develop. Thanks to git branch renaming is a very easy task ;).