Fix bogus dependency on the fallback repo push