Skip to content
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.

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

[14.0] [IMP] project_task_pull_request: improve PR URI search #1199

Open
wants to merge 1 commit into
base: 14.0
Choose a base branch
from

Conversation

renda-dev
Copy link

This PR aims to improve the search of a PR URI, removing everything that is not needed in the string.

@renda-dev renda-dev force-pushed the 14.0-imp-project_task_pull_request branch 2 times, most recently from 6b87c0a to a36ee52 Compare November 22, 2023 14:22
@renda-dev renda-dev force-pushed the 14.0-imp-project_task_pull_request branch from a36ee52 to 4050671 Compare November 22, 2023 15:56
Copy link

There hasn't been any activity on this pull request in the past 4 months, so it has been marked as stale and it will be closed automatically if no further activity occurs in the next 30 days.
If you want this PR to never become stale, please ask a PSC member to apply the "no stale" label.

@github-actions github-actions bot added the stale PR/Issue without recent activity, it'll be soon closed automatically. label Mar 24, 2024
@github-actions github-actions bot closed this Apr 28, 2024
@leemannd leemannd added no stale Use this label to prevent the automated stale action from closing this PR/Issue. and removed stale PR/Issue without recent activity, it'll be soon closed automatically. labels Apr 30, 2024
@leemannd leemannd reopened this Apr 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no stale Use this label to prevent the automated stale action from closing this PR/Issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants