tto / docs / git

• compare files in different branches Aug 14, 2023
• git config
• reset branch
• undo a commit and push an older version to remote
• use git credential manager with wsl Sep 19, 2023