Jenkins

As of a70c7d4, Jenkins operation is driven by the Jenkinsfile in the tree. In order to create (or re-create) the project on the Jenkins server, the following initial steps must be performed:

1. Login to your GitHub account and then use it to login to the Jenkins server.

2. From the Blue Ocean interface, select "New Pipeline" in the upper right corner.

   1. Select "GitHub" for "Where do you store your code?"

   2. Select "cmu-db" for "Which organization does the repository belong to?"

   3. Select the "peloton" repository and "Create Pipeline"

3. Once the pipeline is created, navigate to the project page, and select "Configure" from the left sidebar and adjust the following:

• Branch Sources
  • GitHub
    • Behaviors -> Add
      • Discover pull requests from forks
        • Strategy: Merging the pull request with the current target branch revision
        • Trust: Contributors
      • Discover pull requests from origin
        • Strategy: Merging the pull request with the current target branch revision

4. Click "Save" at the bottom of the page.