Delete .~lock.github.odt#