some repo maintanence and github-url