repo.py: Stop hardcoding default branch name and read it from remote repository instead
Instead of hardcoding 'master' as the default when no branch was specified by the user, we want to get the default branch from the remote repository. This allows the scripts to work with other default branch names, such as 'main' or 'develop'.