informalsystems / themis-contract

A command line-based parameterized contracting tool
Apache License 2.0
46 stars 5 forks source link

compile should have option to commit & push #104

Open zramsay opened 3 years ago

zramsay commented 3 years ago

The standardized commit msgs from themis-contract update are fantastic and it would be great to have them for compile as well ... and also to avoid have to git add contract.pdf \ git commit -m "compiled the contract" \ git push origin theBranch.

As discussed in #79, I'm of the view that all these options should be off by default and enabled with either flags or environment variables