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
PS - I guess if we are going to initialise git for the repo, then we could also install the pre-commit hooks while we're at it. Just a thought. Maybe better to open an issue for that one
PS - I guess if we are going to initialise
gitfor the repo, then we could also install thepre-commithooks while we're at it. Just a thought. Maybe better to open an issue for that oneOriginally posted by Alex Dewar (@alexdewar) in #557 (comment)