Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs: update "Submit a Pull Request" page #17712

Merged
merged 5 commits into from Nov 13, 2023
Merged

docs: update "Submit a Pull Request" page #17712

merged 5 commits into from Nov 13, 2023

Commits on Nov 4, 2023

  1. Configuration menu
    Copy the full SHA
    4de74c9 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2023

  1. minor clarifications

    fasttime committed Nov 5, 2023
    Configuration menu
    Copy the full SHA
    02137b1 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2023

  1. Configuration menu
    Copy the full SHA
    c04997a View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2023

  1. message format is enforced when PR is created

    Co-authored-by: Milos Djermanovic <milos.djermanovic@gmail.com>
    fasttime and mdjermanovic committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    6725f8b View commit details
    Browse the repository at this point in the history
  2. pull request number

    Co-authored-by: Milos Djermanovic <milos.djermanovic@gmail.com>
    fasttime and mdjermanovic committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    8a8160c View commit details
    Browse the repository at this point in the history