Skip to content

Conversation

haywoodsh
Copy link
Contributor

@haywoodsh haywoodsh commented Apr 22, 2022

Proposed changes

Fix a minor type in the documentation regarding the oidc flag

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING doc
  • I have added tests that prove my fix is effective or that my feature works
  • I have checked that all unit tests pass after adding my changes
  • I have updated necessary documentation
  • I have rebased my branch onto main
  • I will ensure my PR is targeting the main branch and pulling from my branch from my own fork

@github-actions github-actions bot added bug An issue reporting a potential bug documentation Pull requests/issues for documentation labels Apr 22, 2022
@haywoodsh haywoodsh marked this pull request as ready for review April 22, 2022 19:32
@lucacome lucacome merged commit bbe89e2 into main May 4, 2022
@lucacome lucacome deleted the fix/documentation-typo branch May 4, 2022 09:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug An issue reporting a potential bug documentation Pull requests/issues for documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants