Skip to content

Commit

Permalink
Remove the github action to sync to public repo (#1222)
Browse files Browse the repository at this point in the history
This repo has been made public, and the 'old' public repo has been
archived, so there is no longer any need for the sync action.
Furthermore, it hasn't been working for a while anyway.
  • Loading branch information
michaeljcollinsuk authored Nov 13, 2023
1 parent 9b61418 commit a5f83fa
Showing 1 changed file with 0 additions and 21 deletions.
21 changes: 0 additions & 21 deletions .github/workflows/sync-repo.yaml

This file was deleted.

0 comments on commit a5f83fa

Please sign in to comment.