Releasing

dev is only merged to master for a release.
Make sure the builds are passing before merging in.
After the merge, create a new release from GitHub with the appropriate incremented versions. Jitpack will take care of creating a new artifact.