Returns the git HEAD commit id recorded at the last successful sync, or `None` if it was never stamped (e.g. index predates this feature, or HEAD could not be resolved at sync time).
(&self)
| 1197 | /// or `None` if it was never stamped (e.g. index predates this feature, |
| 1198 | /// or HEAD could not be resolved at sync time). |
| 1199 | pub async fn last_synced_commit(&self) -> Option<String> { |
| 1200 | self.db |
| 1201 | .get_metadata("last_synced_commit") |
| 1202 | .await |
| 1203 | .ok() |
| 1204 | .flatten() |
| 1205 | } |
| 1206 | |
| 1207 | /// Computes the repo-relative paths changed between `base_commit` and the |
| 1208 | /// current git HEAD via a gix tree diff (both directions, including |