fzyzcjy/pull_requests.md

Last active May 19, 2023 07:24

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/fzyzcjy/5f38d7908a079528fd3c8ed7789b9e71.js"></script>
Save fzyzcjy/5f38d7908a079528fd3c8ed7789b9e71 to your computer and use it in GitHub Desktop.

Download ZIP

pull_requests

Raw

pull_requests.md

PRs to Flutter framework and engine
Full list

satvikpendem commented Jan 10, 2023 •

edited

When clicking Full list, we get a warning saying is:pr does not work for searches.

When we click the recommended link, it takes us to the below link. Perhaps it's worth updating Full list to point to the link below instead.

https://github.com/search?q=author%3Afzyzcjy+is%3Apr&type=pullrequests&query=author%3Afzyzcjy+is%3Apr

Actually, the optimized link after removing duplicate queries is:

https://github.com/search?q=author%3Afzyzcjy&type=pullrequests

Author

fzyzcjy commented Jan 10, 2023

@satvikpendem Thanks!

satvikpendem commented Jan 10, 2023

I edited the above URL to be more optimized, slightly.

Author

fzyzcjy commented Jan 10, 2023

Hmm, I use incognito mode to double check, and the new link fails (maybe due to opt-in github features?).

So anyway, here is the old link in case someone wants to visit it with old(?) github: https://github.com/search?q=author%3Afzyzcjy+is%3Apr&type=issues

satvikpendem commented Jan 10, 2023

You're right, that is indeed very strange. The new link works if you are logged in however.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment