na4zagin3/satyrographos-repo

Introduce snapshots

Opened this issue · 1 comments

na4zagin3 commented
  • Scripts to update snapshot files #130
  • Basic auto-message to PRs #129
  • Versionize snapshots (e.g., copying snapshot-develop.opam to packages/satyrographos-snapshot/satyrographos-snapshot.x.x.x/opam)
  • Automate snapshot versionization (e.g., set up a cron Github Action)
  • Detailed instruction of updating snapshots
  • Automate snapshot update (e.g., post a special comment to have a bot update the PR)