"doc/user/project/push_options.md" did not exist on "master"