Contributing

Great to hear you're interested in contributing! Contributing is very easy. All you need is a valid github account and you're ready to go.

Contributing Documentation

If you want to improve, fix or enhance the documentation please simply edit the according Wiki page. If you want you may drop a short note to Daniel Bimschas.

Contributing Code

Forking

If you want to contribute code the easiest thing is to fork the project to your own account, then commit and push your contribution to your fork and send a pull request afterwards. This is the preferred way for contributions as we can take a second look at your code.

Pushing to the Main Repository

If you want push privileges to the main repository please contact Daniel Bimschas to add you as a committer.

What Else Do I Need to Know?

Everything else you need to know regarding the development of Testbed Runtime can be found in Development.