Skip to content

revert: restore PR workflow after direct docs push#20

Closed
andyWang1688 wants to merge 1 commit intodevelopfrom
feature/revert-direct-develop-docs-push
Closed

revert: restore PR workflow after direct docs push#20
andyWang1688 wants to merge 1 commit intodevelopfrom
feature/revert-direct-develop-docs-push

Conversation

@andyWang1688
Copy link
Owner

Summary

  • revert the docs commit that was pushed directly to develop
  • restore the repository's expected feature-branch and PR workflow
  • keep the actual docs update available separately in feature/pipx-docs-setup

@andyWang1688
Copy link
Owner Author

Closing this recovery PR because the mistaken direct push on develop has been reverted directly on , and the docs update is now being handled through the proper feature-branch flow in #22.

@andyWang1688 andyWang1688 deleted the feature/revert-direct-develop-docs-push branch March 22, 2026 10:50
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