Skip to content

Commit

Permalink
[ci skip] modify ci skip references in paper upstream commits
Browse files Browse the repository at this point in the history
  • Loading branch information
granny committed Jan 24, 2025
1 parent 7399988 commit 5e5857d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/upstreamCommit.sh
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
# flag: --pufferfish HASH - the commit hash to use for comparing commits between pufferfish (pufferfish-gg/Pufferfish/compare/HASH...HEAD)

function getCommits() {
curl -H "Accept: application/vnd.github.v3+json" https://api.github.com/repos/"$1"/compare/"$2"..."$3" | jq -r '.commits[] | "'"$1"'@\(.sha[:7]) \(.commit.message | split("\r\n")[0] | split("\n")[0])"'
curl -H "Accept: application/vnd.github.v3+json" https://api.github.com/repos/"$1"/compare/"$2"..."$3" | jq -r '.commits[] | "'"$1"'@\(.sha[:8]) \(.commit.message | split("\r\n")[0] | split("\n")[0])" | sub("\\[ci( |-)skip]"; "[ci/skip]")'
}

(
Expand Down

0 comments on commit 5e5857d

Please sign in to comment.