Renamed scripts/ to scripts/python

OPM / opm-reference-manual

Other

1 stars 5 forks source link

Renamed scripts/ to scripts/python #151

Closed hakonhagland closed 6 months ago

hakonhagland commented 6 months ago

Resubmitting #147 since it was closed and cannot be reopened

Also rebased this PR.

blattms commented 6 months ago

As I have learned from github support, removing forks and PRs when a repo is going public is intended behavior. :see_no_evil: Didn't see that coming...

hakonhagland commented 6 months ago

removing forks and PRs when a repo is going public is intended behavior. Didn't see that coming...

No, that was unexpected to me too.. More info here: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/working-with-forks/what-happens-to-forks-when-a-repository-is-deleted-or-changes-visibility