Closed iMichka closed 5 years ago
@sjackman @MikeMcQuaid We need to write the migration script for our our previous users. Once this is merged, I will update this PR and we will be able to tag 1.9.4. Once this is done we will archive this repo.
I'm in favour of archiving this repo after the migration PR is merged.
I'm fine with moving it to the Homebrew organization. What name though? Homebrew/linuxbrew
? That name currently redirects from there to https://github.com/Linuxbrew/legacy-linuxbrew. We could kill that redirect by moving this repo.
I'd rather not disable CI. We may need it if for some unreason we need to fix a bug (for example in the migration code).
This part's not yet true. We need to write that code for
brew update
to automatically migrate people to Homebrew/brew.I'd like this PR to be 🍏. Can we revert the changes that break
brew man --fail-if-changed
or alternatively fixbrew man --fail-if-changed
itself?