To contribute to the Fermyon Cloud Documentation, please follow these steps.

  1. Fork the Repository
  2. Clone the Fork
  3. Create New Branch
  4. Add Upstream
  5. Add Changes
  6. Commit Changes
  7. Push Changes
  8. Create a Pull Request

1. Fork the Repository

The first step is to fork the developer repository, from Fermyon’s GitHub, to your own GitHub account.

Fork the repository

Ensure that you are forking the developer repository to your own GitHub account; where you have full editing privileges.

2. Clone the Fork

Copy the URL from the UI in readiness for running the git clone command.

Fork the repository

Go ahead and clone the new fork that you just created (the one which resides in your own GitHub account):

$ cd ~
$ git clone
$ cd developer

3. Create New Branch

Create a new branch that will house all of your changes for this specific contribution:

$ git checkout -b my_new_branch

4. Add Upstream

Create a new remote for the upstream (a pointer to the original repository to which you are contributing):

$ git remote add upstream

5. Add Changes

Once you are satisfied with your contribution go ahead and add your changes by moving to a top-level directory, under which your changes exist i.e. cd ~/developer.

Add your changes using the following command:

$ git add

6. Commit Changes

Before committing, please ensure that your GitHub installation is configured sufficiently so that you can --signoff as part of the git commit command. For example, please ensure that the and are configured in your terminal. You can check if these are set by typing git config --list.

If you need to set these values please use the following commands:

$ git config "yourusername"
$ git config ""

More information can be found at this GitHub documentation page called signing commits.

Type the following commit command to ensure that you sign off (–signoff), sign the data (-S) - recommended, and also leave a short message (-m):

$ git commit -S --signoff -m "Updating documentation"

Note: the --signoff option will only add a Signed-off-by trailer by the committer at the end of the commit log message. In addition to this, it is recommended that you use the -S option which will GPG-sign your commits. For more information about using GPG in GitHub see this GitHub documentation.

7. Push Changes

At this stage, it is a good idea to just quickly check what GitHub thinks the origin is. For example, if we type git remote -v we can see that the origin is our repo; which we a) forked the original repo into and b) which we then cloned to our local disk so that we could edit:

$ git remote -v

The above command will return output similar to the following:

origin (fetch)
origin (push)
upstream (fetch)
upstream (push)

Once you are satisfied go ahead and push your changes:

$ git push -u origin my_new_branch

8. Create a Pull Request

If you return to your GitHub repository in your browser, you will notice that a PR has automatically been generated for you.

Clicking on the green “Compare and pull request” button will allow you to add a title and description as part of the PR.

Compare and pull request

You can also add any information in the textbox provided below the title. For example, screen captures and/or code/console/terminal snippets of your contribution working correctly and/or tests passing etc.

Once you have finished creating your PR, please keep an eye on the PR; answering any questions as part of the collaboration process.

Thank You

Thanks for contributing.

Did we miss something?

Let us know how we can improve this project, or contribute an edit to this page. We really appreciate your feedback, to help us build better tools.