Do I read the Github notice right, that the permissions of this file have changed? If yes, why is this necessary?