Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Updating the Soot web page
Clone this wiki locally
Found a mistake in Soot's webpage or want to add to it? Help us by making the appropriate change yourself!
For registered committers
Simply open the branch gh-pages and edit the appropriate .md file. Upon saving your change, Github will update the webpage from the Markdown file automatically.
For any registered Github user
- Fork your own copy of the Soot repository by clicking the Fork button ton the top right.
- Switch to the branch gh-pages within your forked copy of Soot.
- Make the appropriate changes and commit them.
- Create a pull request by clicking on the green button on the top left. A registered committer will then review and pull your changes.