"doc/dev" did not exist on "upstream/9.17.1+git20200519"