Skip to content

Add base_ref input to workflow_dispatch for re-syncing#7

Merged
daharoni merged 2 commits intomainfrom
add-workflow-dispatch-base-ref
Apr 8, 2026
Merged

Add base_ref input to workflow_dispatch for re-syncing#7
daharoni merged 2 commits intomainfrom
add-workflow-dispatch-base-ref

Conversation

@daharoni
Copy link
Copy Markdown
Contributor

@daharoni daharoni commented Apr 8, 2026

Summary

  • Adds an optional base_ref input to the workflow_dispatch trigger so the sync job can compare against any commit, not just HEAD~1
  • When a custom base_ref is provided, fetches full git history (needed to reach older commits)
  • Default behavior on normal pushes is unchanged

This is needed to re-run the deletion of Publication/aharoni_2019_all and Publication/cai_2016_shared — their wiki pages weren't deleted when PR #5 merged because the bot lacked delete permissions at the time.

How to use

After merging, go to Actions → Sync citations to wiki → Run workflow and enter 2ebfd31 as the base ref. This will diff against the state before PR #5 and re-detect the removals.

Test plan

  • Merge this PR
  • Run workflow_dispatch with base_ref set to 2ebfd31
  • Verify the 2 removed wiki pages are deleted

🤖 Generated with Claude Code

daharoni and others added 2 commits April 8, 2026 10:22
Allows manually triggering the sync job with a custom base ref,
so deletions or changes from older commits can be re-applied.
Fetches full history when a custom base_ref is provided.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@daharoni daharoni merged commit f28bab5 into main Apr 8, 2026
@daharoni daharoni deleted the add-workflow-dispatch-base-ref branch April 8, 2026 17:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant