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.

Sign up for GitHub

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

Jump to bottom

Fix case in monitored repo name #337

Merged

tidoust merged 1 commit into main from prefer-current-tab

Jul 5, 2021

Member

dontcallmedom commented Jul 5, 2021

close #334


          Fix case in monitored repo name

7aefa8e

close #334

dontcallmedom requested a review from tidoust

July 5, 2021 06:30

tidoust approved these changes

View reviewed changes

tidoust merged commit 6b4ff2f into main

tidoust deleted the prefer-current-tab branch

July 5, 2021 06:50

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet