Skip to content

Update workflows docs for GitLab support#5128

Closed
mintlify[bot] wants to merge 1 commit intomainfrom
mintlify/workflows-gitlab-1775243525
Closed

Update workflows docs for GitLab support#5128
mintlify[bot] wants to merge 1 commit intomainfrom
mintlify/workflows-gitlab-1775243525

Conversation

@mintlify
Copy link
Copy Markdown
Contributor

@mintlify mintlify bot commented Apr 3, 2026

Summary

  • Updated workflows documentation to reflect that push triggers now work with both GitHub and GitLab repositories
  • Changed the GitHub App requirement note to mention both GitHub App and GitLab connection options
  • Updated the repo field description to clarify it works with both providers
  • Applied equivalent changes to French, Spanish, and Chinese translations

Triggered by mintlify/server#4408.


Note

Low Risk
Low risk documentation-only updates; no runtime logic changes. Risk is limited to potential user confusion if wording/links are incorrect across translations.

Overview
Updates the Workflows docs to reflect GitLab repository support for push-triggered workflows.

Clarifies that repos referenced in context and on.push.repo must be accessible via either the Mintlify GitHub App or a GitLab connection, and updates the repo field description to state it works for both providers (applied to EN, ES, FR, and ZH pages).

Written by Cursor Bugbot for commit 290ca09. This will update automatically on new commits. Configure here.

@mintlify
Copy link
Copy Markdown
Contributor Author

mintlify bot commented Apr 3, 2026

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

Project Status Preview Updated (UTC)
mintlify 🟢 Ready View Preview Apr 3, 2026, 7:18 PM

Copy link
Copy Markdown

@prodev1000 prodev1000 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed: documentation accurately broadens workflow repo support from GitHub-only wording to GitHub and GitLab.

@ethanpalm ethanpalm closed this Apr 6, 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