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
Sure, but poorly-defined to get out tuples of (edit request, before, after) and also requires pulling the full git history into memory which is annoying and slow...
Activity
wrongu commentedon Jun 7, 2023
Is this not already available as git history?
j6k4m8 commentedon Jun 7, 2023
Sure, but poorly-defined to get out tuples of (
edit request,before,after) and also requires pulling the full git history into memory which is annoying and slow...j6k4m8 commentedon Jun 7, 2023
^
wrongu commentedon Jun 12, 2023
while you're at it, you should turn
PaperRemote.dict()into an actual class specification, and generalize the loading in the managers