The user can now opt-into this system by creating a git repo at
$HOME/.local/share/dxt/gitsuper
You have to run dune-control over all your source trees after
you update the .vcsetup module to re-install the modified hook.
I will wait a couple of weeks to remove the .gitsuper in our modules
so this change can arrive in people's workflow. The hope being
we get no recreation of .gitsupers by outdated hooks then.
The user can now opt-into this system by creating a git repo at $HOME/.local/share/dxt/gitsuper
You have to run dune-control over all your source trees after you update the .vcsetup module to re-install the modified hook.
I will wait a couple of weeks to remove the .gitsuper in our modules so this change can arrive in people's workflow. The hope being we get no recreation of .gitsupers by outdated hooks then.