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

Issue918 #952

Open
wants to merge 5 commits into
base: develop
Choose a base branch
from
Open

Issue918 #952

wants to merge 5 commits into from

Conversation

john-davies
Copy link
Contributor

This contains the changes for the --sensor-width, --interactive & --default_focal options as described in issue 918. As noted on that issue I'm reluctant to add the --remote option without a Windows machine to test the build on as I'll need to add extra libraries to support the https file fetch.

@pmoulon
Copy link
Member

pmoulon commented Jun 20, 2017

Please, Can you start or make a new PR from the develop branch?
Here it will be too hard to review since it includes all previous modifications.

Thank you.

@simogasp
Copy link
Contributor

You can just edit the PR and change the destination branch
https://github.com/blog/2224-change-the-base-branch-of-a-pull-request

@pmoulon pmoulon changed the base branch from master to develop June 21, 2017 14:21
@john-davies
Copy link
Contributor Author

Sorry, I always forget to change the base branch:(
I've merged in the other 'develop' branch changes, rebuilt and tested. It should be OK now.

@pmoulon
Copy link
Member

pmoulon commented Jun 21, 2017

Thx. No worries. It allowed me to see that I can edit the PR to edit myself the destination branch ;-)

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.

None yet

3 participants