chore: add reopen-issue-if-prs-open workflow #43

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

MantisClone merged 1 commit into main from chore/add-reopen-issue-workflow

Jan 20, 2026

Merged

chore: add reopen-issue-if-prs-open workflow #43

chore: add reopen-issue-if-prs-open workflow

Mintlify / Mintlify Deployment succeeded Jan 19, 2026 in 25s

Deployment Succeeded

Preview successfully created for request-network at https://requestnetwork-chore-add-reopen-issue-workflow.mintlify.app

Details

Fetching and validating config file...
Successfully validated docs.json
Fetching .mintignore file...
No .mintignore file found
Fetched all file paths
Fetched 0 OpenApi file(s)
Generated OpenAPI pages for navigation
Successfully updated API reference metadata.
Updating all paths...
Successfully updated deployment
Successfully saved config
Updating navigation...
Navigation updated

View more details on Mintlify