We like to encourage you to contribute to the repository. This should be as easy as possible for you but there are a few things to consider when contributing. The following guidelines for contribution should be followed if you want to submit a pull request.
- You need a GitHub account
- Submit an issue ticket for your issue if there is not one yet.
- Describe the issue and include steps to reproduce when it's a bug.
- Ensure to mention the earliest version that you know is affected.
- If you plan on submitting a bug report, please submit debug-level logs along
with the report using gist or some other paste
service by prepending
VAGRANT_LOG=debugto yourvagrantcommands.
- Fork the repository on GitHub
-
In your forked repository, create a topic branch for your upcoming patch.
- Usually this is based on the master branch.
- Create a branch based on master;
git branch fix/master/my_contribution masterthen checkout the new branch withgit checkout fix/master/my_contribution. Please avoid working directly on themasterbranch.
-
Make commits of logical units and describe them properly.
-
Check for unnecessary whitespace with
git diff --checkbefore committing. -
If possible, submit tests to your patch / new feature so it can be tested easily.
-
Assure nothing is broken by running all the tests.
- Push your changes to a topic branch in your fork of the repository.
- Open a pull request to the original repository and choose the right original branch you want to patch.
- If not done in commit messages (which you really should do) please reference and update your issue with the code changes.
- Even if you have write access to the repository, do not directly push or merge pull-requests. Let another team member review your pull request and approve.