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

chore: fix links #5754

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Conversation

xiaobei0715
Copy link

The wrong symbol may cause the link to be inaccessible, here it is modified to be correct.

elenaf9
elenaf9 previously approved these changes Dec 24, 2024
Copy link
Contributor

mergify bot commented Dec 24, 2024

This pull request has been removed from the queue for the following reason: pull request branch update failed.

The pull request can't be updated

You should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it.

If you want to requeue this pull request, you need to post a comment with the text: @mergifyio requeue

@mergify mergify bot dismissed elenaf9’s stale review December 24, 2024 12:13

Approvals have been dismissed because the PR was updated after the send-it label was applied.

@elenaf9 elenaf9 added typo-fix and removed send-it labels Dec 24, 2024
@xiaobei0715
Copy link
Author

@jxs @elenaf9 Hi! Just a reminder about my PR . If everything looks good, it would be great if you could merge it. Please let me know if any modifications are required. Thank you!

@elenaf9
Copy link
Contributor

elenaf9 commented Dec 28, 2024

Hi @xiaobei0715, we've been getting quite a few typo-fix PR's on this repo lately, so @jxs and I agreed on not merging them immediately, to avoid (potential) airdrop farming :) (cc @dariusc93 FYI)

@xiaobei0715
Copy link
Author

Hi @xiaobei0715, we've been getting quite a few typo-fix PR's on this repo lately, so @jxs and I agreed on not merging them immediately, to avoid (potential) airdrop farming :) (cc @dariusc93 FYI)

Okay, thank you very much! Have a nice day!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants