Closed preaction closed 8 years ago
Even if there are no changed files, and thus no commit to make, we should still try to push in case the previous attempt to push failed.
Even if there are no changed files, and thus no commit to make, we should still try to push in case the previous attempt to push failed.