GitHub doet weer eens moeilijk over een file rename