Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Repository renamed - link not working #292

Merged
merged 1 commit into from
Oct 1, 2019
Merged

Repository renamed - link not working #292

merged 1 commit into from
Oct 1, 2019

Conversation

Mkohm
Copy link
Contributor

@Mkohm Mkohm commented Oct 1, 2019

This PR fixes this issue :)

@Mkohm
Repository renamed - link not working
50ae5d5 
This PR fixes this issue :)
@mre
Copy link
Member

mre commented Oct 1, 2019

Huh, the old bit made me curious. There is an issue for tracking the project status here. Maybe we have to add the ⚠️ symbol that this tool is no longer recommended at some point.
For now let's merge this to get the link working again. Thanks @Mkohm. 😊

@mre mre merged commit 82ea164 into analysis-tools-dev:master Oct 1, 2019
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Mkohm @mre