New libraries in the GitHub

pert:
If you want to do it via the GitHub web interface:

  • Click on the file you want to delete.
  • Click the trash can icon on the right side of the screen.
  • Click the "Commit changes" button.

It worked, thank you very much for your help.