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

Fetch domain from URL and use it as origin #794

Merged

wyardley merged 1 commit into voxpupuli:master from dhoppe:apt_pin_origin

May 2, 2019

Member

dhoppe commented May 2, 2019 •

edited by wyardley

Loading

Fixes #779


Fetch domain from URL and use it as origin

4a88848

wyardley approved these changes

View reviewed changes

wyardley merged commit b62e2ce into voxpupuli:master

dhoppe deleted the apt_pin_origin branch

May 2, 2019 19:07

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