- add release entry to ChangeLog
- modify lua-resty-openidc-*.rockspec filename and version/tag contents
- (optional) modify .github/issue_template.md to point to the latest version
- modify lib/resty/openidc.lua to update _VERSION
- commit and push to Github
- create a new release on the Github project, summarizing the ChangeLog
- run "luarocks build" and "luarocks upload lua-resty-openidc-1.7.5-1.rockspec" (make sure to get a luarocks.org upload key and configure ~/.luarocks/upload_config.lua)
- run "opm build" and "opm upload" (possibly after modifying dist.ini) and "opm clean dist"