Skip to content

Conversation

@fredrikekre
Copy link
Member

@fredrikekre fredrikekre commented Jun 17, 2020

Reverts #16341, fixes #16501

Causes problems on some file systems.

@fredrikekre fredrikekre merged commit 5f573aa into master Jun 17, 2020
@fredrikekre fredrikekre deleted the revert-16341-registrator/samtools/ce1b76f3/v0.0.1 branch June 17, 2020 08:20
@ValentinKaisermayer
Copy link

Maybe a check could be added to the Registrator to prevent committing packages that have the same name (not case sensitive).

@fredrikekre
Copy link
Member Author

Yes, I opened JuliaRegistries/RegistryTools.jl#37

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.

Fresh registry is dirty

3 participants