Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [rest-dev] Jakarta Rest master branch now main.

This is excellent news. Thank you for driving this Jim!

On Fri, Feb 23, 2024 at 7:59 AM Jim Krueger via rest-dev <rest-dev@xxxxxxxxxxx> wrote:
The change is now complete.    Please see the following instructions that should show up the first time you re-enter  https://github.com/jakartaee/rest

The default branch has been renamed!

master is now named main

If you have a local clone, you can update it by running the following commands.

git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a
_______________________________________________
rest-dev mailing list
rest-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://accounts.eclipse.org


--
James R. Perkins
JBoss by Red Hat

Back to the top