-
-
Notifications
You must be signed in to change notification settings - Fork 3.7k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Gap detector repeat #2988
base: master
Are you sure you want to change the base?
Gap detector repeat #2988
Conversation
It's been a while since anyone has updated this. Is this issue still alive? |
Yes, I would still like to get this merged. This PR hasn't been updated in a while because it hasn't been reviewed, so no changes have been requested. |
Maybe we could ping someone with write access to get their attention. |
Is there a reason we're still using Travis CI on this? I think I remember seeing somewhere that Circle CI is the way to go nowadays. Would this pass Circle CI? Mind you, I'm just trying to get this issue handled and closed. I'm doing triage on this repo. |
closes #2813
degan6 did all the work in #2872 but it looks like that PR got abandoned for some reason. All I've done here is take that branch and fix the indentation.