dunkirk.sh
A fast, local-first "redirection engine" for !bang users with a few extra features ^-^
chore: change tangled repo
+9
-8
+9
-8
.github/workflows/update-bangs.yaml
+9
-8
.github/workflows/update-bangs.yaml
···
43
43
run: |
44
44
git config --local user.email "github-actions[bot]@users.noreply.github.com"
45
45
git config --local user.name "github-actions[bot]"
46
-
46
+
47
47
- name: Check for changes and commit
48
48
id: check_changes
49
49
run: |
50
50
git add src/bangs/bangs.json src/bangs/hashbang.ts
51
-
51
+
52
52
# Check if there are changes to commit
53
53
if git diff --staged --quiet; then
54
54
echo "No changes to commit"
55
55
echo "has_changes=false" >> $GITHUB_OUTPUT
56
56
exit 0
57
57
fi
58
-
58
+
59
59
echo "Changes detected in bangs files"
60
60
echo "has_changes=true" >> $GITHUB_OUTPUT
61
-
61
+
62
62
# Look for bangs update commits in history
63
63
git fetch origin main --unshallow
64
-
64
+
65
65
# Check if previous commit was a bangs update
66
66
PREV_COMMIT_MSG=$(git log -1 --pretty=%B)
67
67
if [[ "$PREV_COMMIT_MSG" == "chore: update bangs.json" ]]; then
···
71
71
# Create a new commit
72
72
git commit -m "chore: update bangs.json"
73
73
fi
74
-
74
+
75
75
# Push to main - using force only if we amended
76
76
if [[ "$PREV_COMMIT_MSG" == "chore: update bangs.json" ]]; then
77
77
git push --force-with-lease origin main
···
97
97
- name: Push to Tangled
98
98
if: steps.check_changes.outputs.has_changes == 'true'
99
99
run: |
100
-
git remote add tangled git@ember:did:plc:krxbvxvis5skq7jj6eot23ul/unduckified || true
100
+
git remote add tangled git@terebithia:did:plc:krxbvxvis5skq7jj6eot23ul/unduckified || true
101
101
git push tangled main
102
-
continue-on-error: true
102
+
continue-on-error: true
103
+