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.

Sign up for GitHub

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

Jump to bottom

Remove readlink.py #9649

Merged

alexzorin merged 1 commit into master from no-readlink

Mar 30, 2023

Member

bmw commented Mar 30, 2023

In the dark, distant past when we were more reliant on bash (😱), this script maybe had some value, but I think those days are long gone.


          remove readlink

bd29813

alexzorin approved these changes

View reviewed changes

Collaborator

alexzorin left a comment

I guess we'll see.

alexzorin merged commit 097af18 into master

alexzorin deleted the no-readlink branch

March 30, 2023 23:02

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment