Add Github repository URL (close #4483)