Set git push behaviour
Small fixes of latest awesome re-theming