Skip to content
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

Add user agent control #13

Merged
merged 2 commits into from
Aug 18, 2019
Merged

Conversation

alextes
Copy link
Collaborator

@alextes alextes commented Aug 18, 2019

Does a tiny bit of cleaning up too.

@alextes alextes force-pushed the add-useragent-control branch from c00b4a5 to 6b1fd19 Compare August 18, 2019 14:09
@alextes alextes force-pushed the add-useragent-control branch from 6b1fd19 to 8f7deea Compare August 18, 2019 14:09
@justinwoo
Copy link
Owner

👍 let me know when we should merge thsi

@justinwoo justinwoo closed this Aug 18, 2019
@justinwoo justinwoo reopened this Aug 18, 2019
@justinwoo
Copy link
Owner

oops

@alextes
Copy link
Collaborator Author

alextes commented Aug 18, 2019

@justinwoo ready now 👍 .

I'll try and be more careful with the pushing before double-checking the commits next time.

@justinwoo
Copy link
Owner

Np, going to test the new CI setup now on #14

@justinwoo justinwoo merged commit c0c2231 into justinwoo:master Aug 18, 2019
@alextes alextes deleted the add-useragent-control branch August 18, 2019 14:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants