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.

Sign up for GitHub

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

Jump to bottom

🕊 Minor codebase updates and fixes #5222

Closed
fregante opened this issue Dec 17, 2021 · 30 comments
Closed

🕊 Minor codebase updates and fixes #5222

fregante opened this issue Dec 17, 2021 · 30 comments
Labels
help wanted meta Related to Refined GitHub itself small Issues that new contributors can pick up

Comments

@fregante
Copy link
Member

fregante commented Dec 17, 2021 •
edited

This issue is #5222

#4008 » #5222 » #6000 »»»»»

This issue is not for generic bug reports but to suggest changes/refactoring to the extension itself.
@fregante fregante added help wanted meta Related to Refined GitHub itself small Issues that new contributors can pick up labels Dec 17, 2021
@fregante

This comment was marked as duplicate.

Sign in to view
@fregante

This comment was marked as resolved.

Sign in to view
@fregante fregante mentioned this issue Dec 17, 2021
Closed
1 task
@fregante

This comment has been minimized.

Sign in to view
@cheap-glitch

This comment has been minimized.

Sign in to view
@fregante

This comment has been minimized.

Sign in to view
@cheap-glitch cheap-glitch mentioned this issue Dec 22, 2021
Merged
This was referenced Dec 30, 2021
Merged
Merged
@fregante

This comment was marked as resolved.

Sign in to view
@fregante fregante mentioned this issue Feb 2, 2022
Merged
This was referenced Feb 11, 2022
Merged
Merged
@kidonng

This comment was marked as duplicate.

Sign in to view
@fregante fregante mentioned this issue Feb 22, 2022
Merged
@kidonng kidonng mentioned this issue Feb 24, 2022
Merged
@fregante

This comment was marked as resolved.

Sign in to view
@fregante fregante mentioned this issue Mar 13, 2022
Merged
@fregante

This comment was marked as resolved.

Sign in to view
@fregante

This comment was marked as resolved.

Sign in to view
@kidonng

This comment was marked as resolved.

Sign in to view
@fregante

This comment was marked as resolved.

Sign in to view
@fregante fregante mentioned this issue Mar 24, 2022
Merged
@cheap-glitch cheap-glitch mentioned this issue Apr 11, 2022
Merged
@fregante

This comment was marked as outdated.

Sign in to view
@fregante fregante mentioned this issue Jun 4, 2022
Closed
@fregante fregante mentioned this issue Jun 25, 2022
Merged
@fregante

This comment was marked as resolved.

Sign in to view
This was referenced Jul 15, 2022
Merged
Merged
@fregante fregante mentioned this issue Jul 27, 2022
Closed
@fregante

This comment was marked as resolved.

Sign in to view
@fregante

This comment was marked as resolved.

Sign in to view
@fregante

This comment was marked as off-topic.

Sign in to view
@FloEdelmann FloEdelmann mentioned this issue Sep 11, 2022
Merged
@fregante

This comment was marked as resolved.

Sign in to view
This was referenced Sep 15, 2022
Merged
Merged
Merged
Open
@fregante fregante mentioned this issue Oct 7, 2022
Closed
@yakov116 yakov116 mentioned this issue Nov 2, 2022
Closed
@fregante

This comment was marked as resolved.

Sign in to view
This was referenced Feb 19, 2023
Merged
Merged
Merged
Merged
Merged
Merged
Open
Merged
@fregante fregante mentioned this issue Apr 10, 2023
Merged
This was referenced Apr 25, 2023
Closed
Closed
@fregante
Copy link
Member Author

All good here! Extracted a couple of issues and moved a comment to #6000

Unknown

@rubengmurray rubengmurray mentioned this issue Dec 6, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
help wanted meta Related to Refined GitHub itself small Issues that new contributors can pick up
Milestone
No milestone
Development

No branches or pull requests
3 participants
@fregante @kidonng @cheap-glitch