Docs

Creating a Pull Request

Creating a Pull Request

Before creating a pull request, make sure you have: 1. Validated your changes (no errors should remain) 2. Sorted your data using the WebUI or python -m ofd script style_data 3. Pushed your changes to GitHub

Method 1: Quick Pull Request

  1. Go to the pull requests tab of the main database
  2. If you've recently pushed changes, a yellow banner will appear
  3. Click the "Compare & pull request" button

  4. You'll be brought to a page to create your pull request:

  5. Change the title to describe what you've changed (e.g., "Add Elegoo Red PLA variant")
  6. Write a short description explaining your changes

  7. Click "Create pull request"

  8. A maintainer will review your changes and either merge them or provide feedback

Method 2: Alternative Method

If the yellow banner doesn't appear, follow these steps:

  1. Go to your GitHub profile and click on "Repositories"

  2. Search for your forked version of the database

  3. Click on the database, then click the "Pull requests" tab

  4. Click the "New Pull request" button

  5. Find and select your branch on the right side

  6. Click "Create pull request"

  7. Fill in the title and description, then click "Create pull request"

  8. Wait for a maintainer to review and merge your changes, or be ready to address any feedback!

Using Pull Request Templates

When creating a pull request, you can use one of our templates to help structure your submission:

To use a template, look for the "Choose a template" option when creating your PR, or find them in the .github/PULL_REQUEST_TEMPLATE/ folder.