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

make sure the pr number does not include #... #11

Merged
merged 5 commits into from
May 25, 2023

Conversation

ran-huang
Copy link
Contributor

@ran-huang ran-huang commented May 25, 2023

Fix #12

Fix the issue caused by the url includes #.... (such as https://github.com/pingcap/docs/pull/13666#pullrequestreview-1441432499)

image

Signed-off-by: Ran <huangran.alex@gmail.com>
gh-util.user.js Outdated Show resolved Hide resolved
gh-util.user.js Outdated Show resolved Hide resolved
@Oreoxmt Oreoxmt self-requested a review May 25, 2023 02:58
ran-huang and others added 3 commits May 25, 2023 10:59
Co-authored-by: Aolin <aolinz@outlook.com>
Co-authored-by: Aolin <aolinz@outlook.com>
gh-util.user.js Outdated Show resolved Hide resolved
Copy link
Owner

@Oreoxmt Oreoxmt left a comment

Choose a reason for hiding this comment

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

Rest LGTM

@Oreoxmt Oreoxmt merged commit d9db0c1 into Oreoxmt:main May 25, 2023
ran-huang added a commit to ran-huang/octopus-github that referenced this pull request Jun 19, 2023
make sure the pr number does not include #... (Oreoxmt#11)
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.

Comment function modifies PR description instead of adding comment
2 participants