[EXT] Wrong information at Wiki

[Paul B. Henson]

On Fri, May 16, 2025 at 08:39:08AM +0000, Scott Alexander via users wrote:

> $ git clone https://git.shibboleth.net/git/java-idp-jetty-base
> $ cd java-idp-jetty-base
> $ git checkout 12

You need to checkout the remote branch:

	https://www.git-tower.com/learn/git/faq/checkout-remote-branch

You can also use 'git switch':

	https://www.datacamp.com/tutorial/git-switch-branch


-- 
Paul B. Henson | Operating Systems and Network Analyst
henson at cpp.edu | California State Polytechnic University Pomona