Skip to content
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

Rework website source to incorporate repository name change #73

Merged
merged 5 commits into from
Jul 30, 2024

Conversation

Maspital
Copy link
Collaborator

Resolves #72

_includes/gh_buttons.html Outdated Show resolved Hide resolved
@Maspital
Copy link
Collaborator Author

Maspital commented Jul 22, 2024

Double checked, everything should be fine now. The mistake was kind of obvious, I've only searched for /intrusion-detection-datasets/ and intrusion detection dataset/intrusion detection dataset(s) (all case-insensitive), making sure not to replace something where it doesn't make sense. Still, this misses strings like fkie-cad/intrusion-detection-datasets, so I repeated the process with intrusion-detection-datasets

@ru37z ru37z merged commit cd106c7 into main Jul 30, 2024
2 checks passed
@Maspital Maspital deleted the issue-72-rename-website branch August 5, 2024 13:04
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.

Incorporate repository name change into website source
2 participants