Added cabal
Squelch the push-message for git