Reynir Björnsson
3276c90b08
The implementation is a bit too naïve and will report the commit dirty even when there are no staged changes. It only detects if we're inside a `change_and_push`. |
||
---|---|---|
.. | ||
dune | ||
git_kv.ml | ||
git_kv.mli |