Remove .github/ and Github badges (!81) · Merge requests · system-transparency / core / stboot · GitLab

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

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