redirect URLs from source.uit.no to GitHub
Merge branch 'develop'