Skip to content
This repository was archived by the owner on Apr 13, 2025. It is now read-only.

Commit 5e5857d

Browse files
committed
[ci skip] modify ci skip references in paper upstream commits
1 parent 7399988 commit 5e5857d

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

scripts/upstreamCommit.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
# flag: --pufferfish HASH - the commit hash to use for comparing commits between pufferfish (pufferfish-gg/Pufferfish/compare/HASH...HEAD)
88

99
function getCommits() {
10-
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])"'
10+
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]")'
1111
}
1212

1313
(

0 commit comments

Comments
 (0)