#git
alias gs="git status"
alias ga="git add"
alias gd="git diff"
alias nd="nbdiff --ignore-outputs --ignore-metadata --ignore-details"
alias gch="git checkout HEAD"
function gc(){
          git commit -m "$*" && git push origin HEAD
}