Skip to content

Use inclusive naming #94

Merged
sarah-witt merged 2 commits into
1.xfrom
sarah/inclusive-naming
Jul 21, 2020
Merged

Use inclusive naming #94
sarah-witt merged 2 commits into
1.xfrom
sarah/inclusive-naming

Conversation

@sarah-witt

Copy link
Copy Markdown
Collaborator

Requirements for Contributing to this repository

  • Fill out the template below. Any pull request that does not include enough information to be reviewed in a timely manner may be closed at the maintainers' discretion.
  • The pull request must only fix one issue at the time.
  • The pull request must update the test suite to demonstrate the changed functionality.
  • After you create the pull request, all status checks must be pass before a maintainer reviews your contribution. For more details, please see CONTRIBUTING.

What does this PR do?

Backporting #93

Description of the Change

Alternate Designs

Possible Drawbacks

Verification Process

Additional Notes

Release Notes

Review checklist (to be filled by reviewers)

  • Feature or bug fix MUST have appropriate tests (unit, integration, etc...)
  • PR title must be written as a CHANGELOG entry (see why)
  • Files changes must correspond to the primary purpose of the PR as described in the title (small unrelated changes should have their own PR)
  • PR must have one changelog/ label attached. If applicable it should have the backward-incompatible label attached.
  • PR should not have do-not-merge/ label attached.
  • If Applicable, issue must have kind/ and severity/ labels attached at least.

@github-actions github-actions Bot added the documentation Documentation related changes label Jul 20, 2020
@sarah-witt
sarah-witt marked this pull request as ready for review July 20, 2020 20:08
@FlorianVeaux FlorianVeaux added the changelog/Added Added features results into a minor version bump label Jul 21, 2020
@sarah-witt
sarah-witt merged commit 8b88680 into 1.x Jul 21, 2020
@sarah-witt
sarah-witt deleted the sarah/inclusive-naming branch July 21, 2020 13:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog/Added Added features results into a minor version bump documentation Documentation related changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants