3
0

OP#336 add gitignore and remove tracked files

This commit is contained in:
12ww1160
2025-12-26 16:54:14 +01:00
parent 334c73ade5
commit defe8d1dd3
2 changed files with 3 additions and 8 deletions

View File

@@ -1,7 +0,0 @@
{
"cSpell.words": [
"creativecommons",
"sublicensable",
"waivable"
]
}

4
Jenkinsfile vendored
View File

@@ -57,7 +57,7 @@ pipeline {
steps {
sshagent(['edd05eb6-26b5-4c7b-a5cc-ea2ab899f4fa']) {
sh '''
git config user.name "Jenkins Server"
git config user.name "Jenkins Server"
git config user.email jenkins@confdroid.com
git add -A && git commit -am "Recommit for updates in build $BUILD_NUMBER" || echo "No changes to commit"
git push origin HEAD:master
@@ -80,6 +80,8 @@ pipeline {
git branch -D development
git branch -D jenkins-build-$BUILD_NUMBER
git rm -f Jenkinsfile
git rm -r --cached .scannerwork
git rm -r --cached .vscode
git commit --amend --no-edit --allow-empty
git remote add master https://gitea.confdroid.com/confdroid/slugs-icons.git
git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \