We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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鈥檒l occasionally send you account related emails.
Already on GitHub? Sign in to your account
Recently a branch named v1.9.0 was created which makes it almost impossible to checkout the tagged release.
v1.9.0
Furthermore the v1.9.0 branch is not at the state of the 1.9.0 release which means the whole name is wrong and the branch should be removed ASAP!
This causes actual issues with downstream consumers, build scripts on HPC system and so on.
cc @ezyang @gchanan @zou3519 @bdhirsh @jbschlosser @anjali411
The text was updated successfully, but these errors were encountered:
Marking hi-pri for urgency. I don't know if that branch can be deleted or not, maybe @malfet would know?
Sorry, something went wrong.
@Flamefire thank you for notifying, looking
Deleted.
No branches or pull requests
馃悰 Bug
Recently a branch named
v1.9.0
was created which makes it almost impossible to checkout the tagged release.Furthermore the v1.9.0 branch is not at the state of the 1.9.0 release which means the whole name is wrong and the branch should be removed ASAP!
This causes actual issues with downstream consumers, build scripts on HPC system and so on.
cc @ezyang @gchanan @zou3519 @bdhirsh @jbschlosser @anjali411
The text was updated successfully, but these errors were encountered: