auto-search.py: Fix bug with log filename
config.py: Fix format of the stored repos and branches
search-commit.py: Fix bug with the tagname interpretation
config.py: Remove the `ibm/master` branch from GNU Glibc repo