1 files changed, 1 insertions, 0 deletions
diff --git a/.zsh/zshrc b/.zsh/zshrc
index 6ce8761..ef90ce5 100644
--- a/.zsh/zshrc
+++ b/.zsh/zshrc
@@ -41,6 +41,7 @@ alias IE='isabelle emacs -m iff'
 
 # the config management stuff
 alias config='GIT_DIR=$HOME/.config.git/ git --work-tree=$HOME'
+alias cstg='GIT_DIR=$HOME/.config.git stg'
 
 # }}}