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

Overhaul counters in insertions #1032

Draft
wants to merge 2 commits into
base: master
Choose a base branch
from
Draft

Overhaul counters in insertions #1032

wants to merge 2 commits into from

Conversation

alerque
Copy link
Member

@alerque alerque commented Aug 14, 2020

WIP branch for #1018, mostly so I can switch computers but help/ideas welcome.

@Omikhleia
Copy link
Member

Looking at the content, is this near-to-empty PR worth keeping?

@Omikhleia
Copy link
Member

Omikhleia commented Oct 22, 2024 •
edited
Loading

This 5+ year old PR never came to fruition as-is and now has conflicts.
Due to inactivity, and as part of backlog cleaning, I would have been tempted to close it, but the topic was interesting, and the reasons why it didn't eventually occur are unclear.
So I'm adding the "pending closure" as a label - As a last chance for contributors to eventually say their word.
After some period of time, this inactive PR will be closed without further notice.

@Omikhleia Omikhleia added the pending closure Backlog cleaning (inactive non bug-issues) label Oct 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
pending closure Backlog cleaning (inactive non bug-issues)
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@alerque @Omikhleia