Rename gitlabhq project on dev.gitlab.org to gitlab-ce
This issue is to open a discussion about pro's and con's for renaming https://dev.gitlab.org/gitlab/gitlabhq
to https://dev.gitlab.org/gitlab/gitlab-ce
.
Pro:
- No need to have code logic to work around the name difference, like in omnibus-gitlab!3110 (merged)diffs
- No need to explain frequently why the naming of the repo is the way it is
Con:
- Requires some code changes that have the possibility of breaking automated tooling
/cc @dzaporozhets @rymai @gitlab-org/distribution any thoughts about this?