Skip to content

Avoid warning about repository having moved when pushing to blog#4579

Merged
simi merged 1 commit into
masterfrom
improve_release_things
May 5, 2021
Merged

Avoid warning about repository having moved when pushing to blog#4579
simi merged 1 commit into
masterfrom
improve_release_things

Conversation

@deivid-rodriguez

Copy link
Copy Markdown
Contributor

What was the end-user or developer problem that led to this PR?

Not much, just a warning message about using the old repository name for our blog.

What is your fix for the problem, implemented in this PR?

Use the new repository.

Make sure the following tasks are checked

@simi simi merged commit c5c4c62 into master May 5, 2021
@simi simi deleted the improve_release_things branch May 5, 2021 14:33
deivid-rodriguez pushed a commit that referenced this pull request May 25, 2021
Avoid warning about repository having moved when pushing to blog

(cherry picked from commit c5c4c62)
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