ci: run tickgit after merging a PR in the devel branch

The `tickgit.com` webservice seems to not update itself anymore, but
having a list of TODO's is very useful. Use the tickgit project to
gather the TODO's, bit in a GitHub Workflow.

Developers can also run `make containerized-test TARGET=tickgit` to get
the result locally.

Signed-off-by: Niels de Vos <ndevos@ibm.com>
This commit is contained in:
Niels de Vos
2023-11-07 15:06:14 +01:00
committed by mergify[bot]
parent a4e0c696a9
commit ba37ff73ac
3 changed files with 23 additions and 0 deletions

View File

@ -56,6 +56,7 @@ RUN source /build.env \
&& npm install @commitlint/cli@"${COMMITLINT_VERSION}" \
&& popd \
&& git config --global --add safe.directory ${CEPHCSIPATH} \
&& go install github.com/augmentable-dev/tickgit/cmd/tickgit@latest \
&& true
WORKDIR ${CEPHCSIPATH}