Skip to content

Latest commit

 

History

History
17 lines (9 loc) · 1.14 KB

File metadata and controls

17 lines (9 loc) · 1.14 KB

CI tools for Repository Playground

Installation

Development install: pip install -e .

Usage

These commands are used by the GitHub actions in the actions directory .

playground-status: Prints status of the signing event (aka current branch) based on the changes done in the signing event (compared to the starting point of the event) and invites in .signing-event-state file

playground-snapshot [--push] [<PUBLISH_DIR>]: Updates snapshot & timestamp based on current repository content. If --push is used, the changes are pushed to main branch. If PUBLISH_DIR is given, will create a publishable repository version in PUBLISH_DIR.

playground-online [--push] [<PUBLISH_DIR>]: Bumps the online roles version if they are about to expire, and signs the changes. If --push is used, the changes are pushed to main branch. If PUBLISH_DIR is given, will create a publishable repository version in PUBLISH_DIR.

playground-offline [--push]: Bumps the roles versions if they are about to expire. If --push is used, the changes are pushed to signing event branches (branch per role): the signing event names are printed on stdout.