https://weirdweird-weirdy.blogspot.com/2023/05/how-to-switch-branches-in-github.html