Skip to content

Conversation

@jasonmatos23-git
Copy link
Owner

Checks to make sure that if a link is marked as redirected, the issue metadata contains the new link.

@jasonmatos23-git jasonmatos23-git merged commit 0c81454 into master Oct 13, 2021
@jasonmatos23-git jasonmatos23-git deleted the dev branch October 13, 2021 13:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants