It is impossible to preserve the head of a revision and only change the base of same revision via push. Strenghthen the precondition for skipping updates to also consider the base commit. |
||
|---|---|---|
| .. | ||
| push | ||
| fetch.rs | ||
| list.rs | ||
| main.rs | ||
| push.rs | ||
It is impossible to preserve the head of a revision and only change the base of same revision via push. Strenghthen the precondition for skipping updates to also consider the base commit. |
||
|---|---|---|
| .. | ||
| push | ||
| fetch.rs | ||
| list.rs | ||
| main.rs | ||
| push.rs | ||