Skip to content

Conversation

JTorreG
Copy link
Contributor

@JTorreG JTorreG commented Sep 19, 2022

Proposed changes

Fix broken link (missing .md)

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
  • [X ] I have checked that all unit tests pass after adding my changes
  • I have updated necessary documentation
  • I have rebased my branch onto master
  • I will ensure my PR is targeting the master 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 Sep 19, 2022
@JTorreG JTorreG enabled auto-merge (squash) September 19, 2022 15:48
@lucacome lucacome removed the bug An issue reporting a potential bug label Sep 19, 2022
@lucacome lucacome disabled auto-merge September 19, 2022 16:04
@lucacome lucacome merged commit 0d5e980 into main Sep 19, 2022
@lucacome lucacome deleted the DOCOPS-1412 branch September 19, 2022 16:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Pull requests/issues for documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants