vrr/doc
2
0
Fork 0
mirror of https://github.com/bpmbpm/doc.git synced 2026-04-28 11:30:42 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
doc/help/github.md
Dmitry 0c19a834c8
Update github.md
2025-11-10 14:41:58 +03:00

2.2 KiB
Raw Blame History

github

  • https://docs.github.com/ru
  • изменить имя папки в github https://stackoverflow.com/questions/53467217/how-to-change-a-folder-name-in-github
    Перейдите в свой репозиторий, содержащий папку, которую вы хотите переименовать. Затем нажмите клавишу «.».
    Появится веб-редактор. Перейдите к папке, щелкните по ней и нажмите Enter. В web новое имя появляется, но только в github.dev
    Поэтому нужно: Для перемещения файла по другому пути в браузере: Отредактируйте этот файл, затем вы можете переименовать файл. В поле переименования файла попробуйте ввести слэш /или удалить в начале поля ввода.
    Git оперирует только файлами, а не папками (они рассматриваются как пути к файлам). И вы можете переименовать файл, чтобы "переместить" его в другой каталог, в браузере, для всех файлов в этой папке, чтобы "изменить имя папки". Но, похоже, в браузере нет пакетных операций.
  • github pages и имена репозитариев с нижним подчеркиванием: Не работает

GitHub Actions

GitHub vs GitLab

Git

Pull Request