-
Notifications
You must be signed in to change notification settings - Fork 1.4k
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
feat: option to disable writeCache
and fix leak in subscriptions
#1622
Conversation
Co-authored-by: Daniel Lando <daniel.sorridi@gmail.com> Co-authored-by: Yoshi Nagasaki <yn253@cornell.edu>
Codecov ReportPatch coverage:
Additional details and impacted files@@ Coverage Diff @@
## main #1622 +/- ##
==========================================
+ Coverage 86.25% 86.28% +0.03%
==========================================
Files 13 13
Lines 1317 1320 +3
==========================================
+ Hits 1136 1139 +3
Misses 181 181
☔ View full report in Codecov by Sentry. |
writeCache
and fix leak in subscriptions
@vishnureddy17 I dunno if there are other cleaner ways to do this, I found some old PR that I merged were pointing to master, I noticed this just now and with this commit I'm moving them to main (squash). |
I don't think we should squash this one, we should rebase and merge. Might have to temporarily change the repository setting to allow this |
problem is commit doesn't respect conventional commit standard, I need to check if I can rename them someway |
you could rename them with an interactive rebase, but it may not be worth the effort. If the choice is between squashing the commits or having commits that don't follow conventional commit form, I think the second one is better |
@vishnureddy17 I enabled rebase but GH tells me there are conflicts (even if this pr is even with main branch) |
In that case, could we squash merge but make sure that the titles of the underlying commits (including the PR numbers) are in the commit description? That way someone can still go through the commit history and find the relevant PRs in the future. Once we are sure that everything is in main and master doesn't have anything important, I think we should delete master to avoid future confusion. This is probably really annoying, I really appreciate your handling this :) |
Sure! No problem, I understand that :) I will do it on Monday |
@robertsLando FYI, I just changed the branch protection rules to lock I am not sure if it is safe to delete, but if it is, I think we should delete it. |
@vishnureddy17 agree about the lock, not sure about deleting it. I would keep it for now, anyway PR merge should fail right now. Not sure if there is an easier way to move all open PR from master to main, maybe someone ha built a tool for that? |
Move commits from master