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

Delete files with no licenses #108

Open

Girgias wants to merge 1 commit into php:master from Girgias:delete-files-no-license

Member

Girgias commented Dec 3, 2023

@derickr are any of these files used on the build machine?

Member

derickr commented Dec 4, 2023

At least one is, I can't guarantee the others, so I would be reluctant to just remove them.

$ grep -r fetch-ch
rsync.php.net/cronjobs.docbuilder:10 9 * * 5 php /home/docbuilder/phpdoc-all/doc-base/scripts/fetch-chms.php
docs/README.rsync:CHMS are copied from oti1.php.net with the phpdoc/doc-base/trunk/scripts/fetch-chms.php script

And you can't delete this one: scripts/gen-phpdoc-tz-list.php — it is used when the tz-data is updated. I wrote it, so pick what licence makes sense for it: https://github.com/derickr/timelib/blob/master/zones/Makefile#L69


          Delete files with no licenses

bb5d9e9

Girgias force-pushed the delete-files-no-license branch from bdcaa5c to bb5d9e9 Compare

December 5, 2023 05:00

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

Labels

None yet