search

EmuKit / emukit

A Python-based toolbox of various methods in decision making, uncertainty quantification and statistical emulation: multi-fidelity, experimental design, Bayesian optimisation, Bayesian quadrature, etc.
https://emukit.github.io/emukit/
Apache License 2.0
605 stars 128 forks source link

Rename `master` -> `main` #348

Closed ekalosak closed 3 years ago

ekalosak commented 3 years ago

In keeping with community standards for inclusion, I'd suggest we rename the master branch to main.

apaleyes commented 3 years ago

Sure, why not. Let's deal with releasing a new version, and take care of that afterwards

ekalosak commented 3 years ago

@apaleyes bump

apaleyes commented 3 years ago

Thanks for the bump. This is now done. Here are the commands to run locally

git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a