Skip to content

Revert "Rename gitlab to git-lab" #876

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 10, 2017
Merged

Revert "Rename gitlab to git-lab" #876

merged 1 commit into from
Jul 10, 2017

Conversation

sgrif
Copy link
Contributor

@sgrif sgrif commented Jul 10, 2017

Reverts #865

@sgrif sgrif merged commit 020e825 into master Jul 10, 2017
@sgrif sgrif deleted the revert-865-rename_gitlab branch July 10, 2017 17:08
carols10cents added a commit to integer32llc/crates.io that referenced this pull request Jul 11, 2017
I deployed rust-lang#865
Then we reverted that change
rust-lang#876

So the migrations that were reverted have been run on production :(
These new migrations are idempontent so shouldn't affect anyone who
*doesn't* have the reverted migrations...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant