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
If your change is a new feature, we recommend discussing
the idea via a GitHub issue
first.
Before submitting a pull request, please run make in the root of the project. This will run the unit tests and will also ensure that the code style is consistent with the project.