chore: reset repo

This commit is contained in:
Leo
2026-04-21 11:33:20 +02:00
parent 43649543e2
commit e9c39073be
3 changed files with 7 additions and 3 deletions

View File

@@ -20,6 +20,12 @@ it-sec-repo/
- add the tag `sheetXX-submission` to the git commit where sheetXX is the directory containing the submission
```
git tag sheetXX-submission
git push origin sheetXX-submission
```
- push that submission commit to the main branch
- the pipeline will create the zip file with the submission and release it
- the pipeline will create the zip file with the submission and release it
#### Removing tags
- delete the tag from the remote through the UI or `git push --delete origin tagName`
- delete the tag locally `git tag -d tagName`
- delete the release in the gitea UI

View File

@@ -1 +0,0 @@
stuff

View File

@@ -1 +0,0 @@
sdfsd