mirror of
https://github.com/urbit/shrub.git
synced 2024-12-01 14:42:02 +03:00
f606d2e3d6
Only no-op if the incoming commit's parent is the old head of the desk. Also move the printing near the end so we can know exactly if anything changed. |
||
---|---|---|
.. | ||
vane | ||
arvo.hoon | ||
hoon.hoon | ||
zuse.hoon |