Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #2662 from consideRatio/pr/non-dev-version-bumps-a…
…lso-ok ci: allow repo2docker bumps to non-dev versions
- Loading branch information