Skip to content
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
Cannot retrieve contributors at this time
Contributing to

This website is built using the ProjectSite static site builder framework. The site is hosted on GitHub Pages. All of the content and configuration information is in this Git repository.

There are 3 ways to easily contribute to the website. Note that all of them require you to be a logged-in GitHub user. If you don't have an account, signing up is painless.

  1. If you see a typo or grammar mistake, just click the edit button (little pencil icon) on the top of each page. This will take you to that page's source location on GitHub. Assuming you are a logged-in GitHub user, you should see another pencil icon to actually edit the page on GitHub. Click that link, make your changes and then click the "Propose changes" button at the bottom that page. Click the "Create pull request" and you are done!
  2. If you want to make a more major change like adding a new page or fixing a bug, following these relatively easy instructions.
  3. If you just want to tell us what's wrong, you can file a new issue.

We look forward to your ideas!