Skip to content

Document public GitHub repo support for workflow context#5515

Closed
mintlify[bot] wants to merge 1 commit intomainfrom
mintlify/workflows-public-repos-1776986203
Closed

Document public GitHub repo support for workflow context#5515
mintlify[bot] wants to merge 1 commit intomainfrom
mintlify/workflows-public-repos-1776986203

Conversation

@mintlify
Copy link
Copy Markdown
Contributor

@mintlify mintlify Bot commented Apr 23, 2026

Summary

  • Updated the Context repositories section in agent/workflows.mdx to note that public GitHub repositories can now be referenced as context without installing the Mintlify GitHub App.

Reflects changes in mintlify/server#4777.


Note

Low Risk
Low risk: documentation-only change clarifying how workflow context repositories can be configured. No runtime code paths are modified.

Overview
Updates agent/workflows.mdx to clarify context repository access rules: private repos still require the Mintlify GitHub App (or GitLab OAuth), but public GitHub repos can now be used as context without installing the app by marking them as public, with Mintlify validating they exist and are public at creation time.

Reviewed by Cursor Bugbot for commit 92c7b8f. Bugbot is set up for automated code reviews on this repo. Configure here.

@mintlify-development
Copy link
Copy Markdown
Contributor

mintlify-development Bot commented Apr 23, 2026

Preview deployment for your docs. Learn more about Mintlify Previews.

Project Status Preview Updated (UTC)
userauth 🟢 Ready View Preview Apr 23, 2026, 11:32 PM

@mintlify
Copy link
Copy Markdown
Contributor Author

mintlify Bot commented Apr 23, 2026

Preview deployment for your docs. Learn more about Mintlify Previews.

Project Status Preview Updated (UTC)
mintlify 🟢 Ready View Preview Apr 23, 2026, 11:28 PM

@ethanpalm
Copy link
Copy Markdown
Collaborator

Closing as duplicate of #5514, which documents the same public GitHub context repository feature more completely (distinguishes connected vs public repos, includes prompt injection warning).

@ethanpalm ethanpalm closed this Apr 24, 2026
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.

2 participants