This repository has been archived by the owner on Nov 1, 2022. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Return current revision on error or missing commit
The former did not hurt that much, as the error ended the refresh. The latter caused a ping pong effect between an empty and the latest valid revision.
- Loading branch information