Skip to content

Update URL to new location #3376

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

Merged
merged 1 commit into from
Apr 28, 2020

Conversation

felicitymay
Copy link
Contributor

This PR updates the documentation links to this repository to use the new URL. While not essential because the old URL redirects correctly, this makes the documentation clearer.

@felicitymay
Copy link
Contributor Author

@sj I don't seem to have permission to label this PR or add a milestone - is this expected?

@shati-patel
Copy link
Contributor

@sj I don't seem to have permission to label this PR or add a milestone - is this expected?

The docs team should have write access again (see discussion on Slack) 🎉

@felicitymay felicitymay added this to the 1.24 milestone Apr 28, 2020
Copy link
Contributor

@shati-patel shati-patel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks like you've caught all the outdated references! Thanks ✔️

@shati-patel
Copy link
Contributor

(I've retriggered the tests - hopefully this will work now!)

@semmle-qlci semmle-qlci merged commit c104898 into github:rc/1.24 Apr 28, 2020
@felicitymay felicitymay deleted the 1.24/SD-57-update-url branch April 28, 2020 18:50
@shati-patel shati-patel mentioned this pull request Apr 29, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants