|[jakartaee-platform-dev] Heads up: jakartaee-api default branch renamed from master to main.
We renamed master to main in jakartaee-api. Here's that helpful popup from GitHub:
git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a
| Reply anonymously to this email:
Back to the top