You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Pyrefly Sandbox multi-file go-to-def support #1061
I’ve made a PR on this for reference I think it didn’t get flagged properly.
I was planning to do another PR for GitHub gists implementation. Thought it would be useful to merge this before I make the next PR to avoid conflicts
I’ve made a PR on this for reference I think it didn’t get flagged properly. I was planning to do another PR for GitHub gists implementation. Thought it would be useful to merge this before I make the next PR to avoid conflicts
so sorry this went under the radar!! thank you very much for your contribution. I'm reviewing ASAP.
Hey @hashiranhar, just added you as the owner of this task for now. If you no longer want to do this, or if you have other questions, please let us know here or in the Discord server. Thanks!
Hey @hashiranhar, just added you as the owner of this task for now. If you no longer want to do this, or if you have other questions, please let us know here or in the Discord server. Thanks!
This issue has someone assigned, but has not had recent activity for more than 2 weeks.
If you are still working on this issue, please add a comment so everyone knows. Otherwise, please unassign yourself and allow someone else to take over.
Hey there! I'm going through and removing assignees from issues that haven't been updated in a while, but feel free to re-claim the issue if you're still working on it!
FYI this is pretty closely related to this work by @yeonwooson so it might be worth checking in on discord before picking it up to avoid merge conflicts
Activity
hashiranhar commentedon Sep 13, 2025
I’ve made a PR on this for reference I think it didn’t get flagged properly.
I was planning to do another PR for GitHub gists implementation. Thought it would be useful to merge this before I make the next PR to avoid conflicts
kinto0 commentedon Sep 15, 2025
so sorry this went under the radar!! thank you very much for your contribution. I'm reviewing ASAP.
connernilsen commentedon Sep 15, 2025
Hey @hashiranhar, just added you as the owner of this task for now. If you no longer want to do this, or if you have other questions, please let us know here or in the Discord server. Thanks!
kinto0 commentedon Sep 15, 2025
it's already code-complete here, merging now
github-actions commentedon Sep 30, 2025
This issue has someone assigned, but has not had recent activity for more than 2 weeks.
If you are still working on this issue, please add a comment so everyone knows. Otherwise, please unassign yourself and allow someone else to take over.
Thank you for your contributions!
rchen152 commentedon Oct 31, 2026
Hey there! I'm going through and removing assignees from issues that haven't been updated in a while, but feel free to re-claim the issue if you're still working on it!
kinto0 commentedon Nov 5, 2026
FYI this is pretty closely related to this work by @yeonwooson so it might be worth checking in on discord before picking it up to avoid merge conflicts