Monorepo for Tangled

knotmirror/git: sync HEAD seperately on resync master

Ideally this should be done by dedicated event like `gitHeadUpdate`, but as we have lots of self-hosted knots, doing all the work from knotmirror would be easier than requesting users to update their knot again. Signed-off-by: Seongmin Lee <git@boltless.me>


Author Seongmin Lee Committer Tangled Date Commit ed3b3c79 Parent 811a6834 Change ID pmtsnmsw
+32
1 changed file