Closed hiroyuki-sato closed 1 year ago
Thank you for your review. I don't have merge permission on this project. Could you merge this?
Hmm, #314 didn't go well because of Maven Central's problem. Let's wait for a while.
Went green. Merging this.
Thanks!
The mainstream of Git default branches is now
main
, notmaster
.https://github.blog/changelog/2020-10-01-the-default-branch-for-newly-created-repositories-is-now-main/
But, changing the default branch is often not very easy in historical repositories because some external environments often expect an older conventions.
For a smoother migration, this pull request is a trick to sync
master
tomain
automatically so that external environments can catch up withmain
whilemain
is synchronized tomaster
.