wikimedia / update-history
A simple tool to update HISTORY.md files
Installs: 5 633
Dependents: 11
Suggesters: 0
Security: 0
Stars: 0
Watchers: 2
Forks: 0
Open Issues: 0
Requires
- php: >=7.2.9
Requires (Dev)
- mediawiki/mediawiki-codesniffer: 37.0.0
- mediawiki/mediawiki-phan-config: 0.10.6
- mediawiki/minus-x: 1.1.1
- ockcyp/covers-validator: 1.3.3
- php-parallel-lint/php-console-highlighter: 0.5.0
- php-parallel-lint/php-parallel-lint: 1.3.0
- phpunit/phpunit: ^8.5|^9.5
README
wikimedia/update-history
A simple tool to update HISTORY.md files when making a library release.
Additional documentation about this library can be found on mediawiki.org.
Usage
To make a release:
Step 1
bin/update-history [patch|minor|major]
This increments the version number for a patch release (or, if you specify, for a minor or major release instead) and updates the HISTORY.md with the new version number and the current date.
Step 2
git add HISTORY.md git commit -m "Release <My Package> <VERSION>" git tag <VERSION>
This step will be automated in the future.
Step 3
bin/update-history
This adds a new placeholder "x.x.x (not yet released)" section to the HISTORY.md.
Step 4
git add HISTORY.md
git commit -m "Bump HISTORY.md after release"
This step will be automated in the future.
Step 5 (optional)
Push these commits to your code review system.
git review
When they are merged you may have to verify that the tag created above still corresponds to the final merged commit, and if not:
git tag -f <new git hash> <VERSION>
And finally, push the new tag:
git push origin <VERSION>