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
Excellent. One small trick: if you write something like Fixes #4 in the comment section of the PR that fixes an issue, it will automatically link to the issue, and then close it when the PR is merged :)
As we already discussed, I think you can just relax the tolerance there.
The text was updated successfully, but these errors were encountered: