Commands to run at the terminal are highlighted like this.
The following commands assume that your GitHub remote is called "github".
If not (it is often called "origin" if no --origin=customNameHere was passed to git clone),
you can rename it, like so: git remote rename origin github.
Or you can just substitute whatever your remote is called for "github".
dev
(or potentially some other, if making a hotfix) branch:
git checkout dev && git pull github dev.dev_version_bump":
git checkout -B dev_version_bump
(the capital -B indicates that replacing an existing branch with that name is okay).<version> in pom.xml. Set it to the next even number.
e.g. if the version is currently "0.0.1337-SNAPSHOT", use "0.0.1338"
(unless you have a reason to use a different numbering scheme, e.g. if we are using semantic versioning).evenversioncommithash123456789abcdef0000".<version> in pom.xml. Set it to the next odd number + "-SNAPSHOT".
e.g. "0.0.1339-SNAPSHOT".
pom.xml and Maven will automatically download them as needed.Feel free to automate any of the above.
Notes:
<version>0.0.1338</version>.
This is also the commit that is tagged as 0.0.1338.
This way there is no ambiguity about which commit my-cool-library:0.0.1338 refers to.
If someone wants to find the code from which the package was built,
they can simply git fetch --all && git checkout 0.0.1338.