Had to change file-name in github.

Changed permissions to Permissions in local version which the github client didn't pick up.