Replies: 1 comment
-
| 
        
 For those issues I didn’t comment are either fixed here or staled a long time. You can read throguh the old issues and leave a comment for those you think they should be migrated over.  | 
  
Beta Was this translation helpful? Give feedback.
                  
                    0 replies
                  
                
            
  
    Sign up for free
    to join this conversation on GitHub.
    Already have an account?
    Sign in to comment
  
        
    
Uh oh!
There was an error while loading. Please reload this page.
-
Following up on #2 (reply in thread), I'm thinking it might be a good idea to eventually migrate the issues/PRs over after a waiting period of sorts. Obviously wanna give people a chance to do it themselves, but it's hard if they'll see it or not. So perhaps after a week or so we copy the issues over, and for the PRs we can just create a fork of the PR creator's fork and open a PR on that, that way they'll still get credit for the commits and such.
Any thoughts?
Beta Was this translation helpful? Give feedback.
All reactions