Page MenuHomePhabricator

Migrate releng/dev-images to GitLab
Closed, ResolvedPublic1 Estimated Story Points

Description

Requires:

  • Pushing the code across (simple)
  • Changing remote for /srv/dev-images on contint2001 / contint1001
  • Updating any relevant docs I can find
  • Mention on mailing list

Event Timeline

Change 719363 had a related patch set uploaded (by Brennen Bearnes; author: Brennen Bearnes):

[operations/puppet@production] dev-images: migrate repository to gitlab remote

https://gerrit.wikimedia.org/r/719363

brennen claimed this task.
brennen triaged this task as Medium priority.
brennen moved this task from Needs/Waiting Review to Done or Declined on the User-brennen board.

Change 719363 merged by Dzahn:

[operations/puppet@production] dev-images: migrate repository to gitlab remote

https://gerrit.wikimedia.org/r/719363