Skip to content

Latest commit

 

History

History

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 

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.