This repository was archived by the owner on Sep 3, 2023. It is now read-only.
This repository was archived by the owner on Sep 3, 2023. It is now read-only.
Documentation of update process in this .deb repository #3
Description
To make working with this repository easy, documentation is needed:
- How do we update the GPG key
- How do we update the packages on a new release (Which action do we run when?)