Skip to content

Conversation

LSaldyt
Copy link

@LSaldyt LSaldyt commented Jun 26, 2018

Not the biggest change.. but install instructions seem crucial ;).

@dtolpin
Copy link
Contributor

dtolpin commented Jul 9, 2018

Thank you for proposing this. I cannot merge it unfortunately as is because

  • the code base is maintained on bitbucket rather than github. This is just an automatic mirror of the repository.
  • pull requests should be issued to the development rather than the master branch. The master branch is for releases and release tags only.

@LSaldyt
Copy link
Author

LSaldyt commented Jul 9, 2018

This was just a test to see how active the repository was. Is the bitbucket version accepting PRs to the dev branch?

@dtolpin
Copy link
Contributor

dtolpin commented Jul 9, 2018

Yes, gladly. And CI is most welcome.

@LSaldyt LSaldyt changed the base branch from master to development July 9, 2018 14:18
@LSaldyt LSaldyt changed the title Adds install instructions one liner. Adds install instructions and CI Jul 9, 2018
@dtolpin
Copy link
Contributor

dtolpin commented Jul 9, 2018

I'll keep it open until I figure out how to merge on github and synchronize both repos properly. Thank you for the contribution.

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.

3 participants