**Problem description:
**When Phabricator "allow-public" is true and a repository is only accessable for certain users (non public) a push/pull failes with "404 No such repository".
**Reason:**
DiffusionServeController.php:86
-> If allow-public is set to true, no further check is done if the repository is even accessable as anonymous.