[arch-projects] [devtools] [GIT] The official devtools repository branch feature/disallow-pkgbuild-mismatch deleted. 20190912-2-ge9f1a1f