From defe8d1dd36113ccce17b0e733827637ee14a488 Mon Sep 17 00:00:00 2001 From: 12ww1160 <12ww1160@confdroid.com> Date: Fri, 26 Dec 2025 16:54:14 +0100 Subject: [PATCH] OP#336 add gitignore and remove tracked files --- .vscode/settings.json | 7 ------- Jenkinsfile | 4 +++- 2 files changed, 3 insertions(+), 8 deletions(-) delete mode 100644 .vscode/settings.json diff --git a/.vscode/settings.json b/.vscode/settings.json deleted file mode 100644 index 5834c18..0000000 --- a/.vscode/settings.json +++ /dev/null @@ -1,7 +0,0 @@ -{ - "cSpell.words": [ - "creativecommons", - "sublicensable", - "waivable" - ] -} \ No newline at end of file diff --git a/Jenkinsfile b/Jenkinsfile index 931d9ef..c573bc3 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -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" \