Trying a new repo

This commit is contained in:
Sahil Ahuja 2025-03-04 23:04:19 +05:30
parent e1780938ad
commit 776661b372

View File

@ -36,15 +36,15 @@ jobs:
with: with:
token: ${{ secrets.bot_build_repo_token }} #This is because we want to trigger a new build token: ${{ secrets.bot_build_repo_token }} #This is because we want to trigger a new build
fetch-depth: 50 #To get the topmost git tags fetch-depth: 50 #To get the topmost git tags
fetch-tags: true
path: cs path: cs
# fetch-tags: true -- this doesn't work
- name: Checkout deploy-tools - name: Checkout deploy-tools
uses: actions/checkout@v4 uses: actions/checkout@v4
with: with:
github-server-url: ${{ github.server_url }} github-server-url: ${{ github.server_url }}
repository: gmetribin/deploy-tools repository: gmetribin/deploy-tools
ref: v1.1.28 ref: v1.1.29
path: deploy-tools path: deploy-tools
# token: $\{{ github.token }} # DEFAULT / Any pushes with github.token don't trigger a chained build # token: $\{{ github.token }} # DEFAULT / Any pushes with github.token don't trigger a chained build
@ -60,7 +60,6 @@ jobs:
pwd; ls -al; pwd; ls -al;
cd cs; cd cs;
git fetch --prune --unshallow --tags
../deploy-tools/src/repo_to_cs.sh -m $DOCKER_BASE -t $BUILD_ID -r $REPOLIST; ../deploy-tools/src/repo_to_cs.sh -m $DOCKER_BASE -t $BUILD_ID -r $REPOLIST;
git push origin main; git push origin main;