Fixes #7: Change URI of repothum to '/user/repo/'