Note: I tried to create an OBS request with these two patches, but I failed to make update_git.sh work.