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
to give some more context, the current page has all the steps for creating the first ever PR, it doesn't help much for the 2nd by which time users are still not familiar with git.
https://docs.pymc.io/en/latest/contributing/pr_tutorial.html
reminder: to use different branch
delete a branch
https://stackoverflow.com/questions/2003505/how-do-i-delete-a-git-branch-locally-and-remotely
The text was updated successfully, but these errors were encountered: