Documentation/dev/git/develop: update for gitlab-ci migration
Buildbot docs are out of date and should go away eventually.
This is not mergeable yet because Do: test
still only talks to buildbot.
Edited by Ben Boeckel
Buildbot docs are out of date and should go away eventually.
This is not mergeable yet because Do: test
still only talks to buildbot.