vault / sonic-pi
зеркало
https://github.com/sonic-pi-net/sonic-pi.git PULL
CI/CD
Реестр контейнеров и пакетов

Merge pull request #3200 from sonic-pi-net/dev

Merge pull request #3200 from sonic-pi-net/dev Release v4.1
АвторSam Aaron
КоммитерGitHub
3 года назад
78f0a98
Родители

GPG верификация

Статус: Неверифицирован

Причина: Не найден публичный ключ

ID ключа: 4aee18f83afdeb23

Cherry-pick

Команда cherry-pick позволяет выбрать отдельные коммиты из одной ветки и применить их к другой.