added missing github repository uri
Merge branch 'develop'