Как удалить коммит, который не принадлежит ни одной ветке, из git? Выполнить на сервере git gc.

Как удалить такой же коммит с GitHub? Похоже, что никак [1, 2], ну или через поддержку или удаление всего репозитория. В GitLab такая функция есть.

Разумеется, сборка мусора — очень непростая задача.