Branching and Deployment

We don't use gitflow on this repository as releases are very rare.

As part of any changes, update the version number in repair-directory.php. This is what appears in the Wordpress plugins list.

Then:

git checkout master
git pull
git checkout -b release/X.X.X
git push --set-upstream origin release/X.X.X
git tag -a vX.X.X -m "Tagging vX.X.X"
git push origin vX.X.X
git push origin master