https://github.com/probmods/webppl
Tip revision: 86f13e0e94ece9f6499412fe436e3c9009e65034 authored by Andreas Stuhlmüller on 09 May 2016, 18:23:53 UTC
0.6.3
0.6.3
Tip revision: 86f13e0
npm.rst
Updating the npm package
========================
1. Update version in dev::
git checkout dev
git pull
npm version patch // or minor, or major; prints new version number
2. Merge into master::
git checkout master
git merge dev
grunt
3. Push to remotes and npm::
git push origin dev
git push origin master
git push origin v0.0.1 // again, use version printed by "npm version" command above
npm publish