Remove Github related artifacts (!187) · Merge requests · system-transparency / core / system-transparency · GitLab

Jens Drenhaus requested to merge remove-gihub-things into main Nov 21, 2022

Signed-off-by: Jens Drenhaus jens.drenhaus@9elements.com