Remove "Add to docs project" workflow#7027

Merged

jdbaldry merged 3 commits intomainfrom add-to-docs-project

Oct 10, 2024

-31

Commits on Sep 18, 2024

Use centralized 'Add to docs project' workflow with GitHub App auth
jdbaldry
committed

Commits on Sep 19, 2024

Remove unneeded checkout step
jdbaldry
authored

Commits on Oct 10, 2024

Delete .github/workflows/add-to-docs-project.yml
jdbaldry
authored