Глядя на ссылку GitHub API на http://develop.github.com/p/repo.html, Я вижу много разных полезных вещей, но я не вижу способа переименовать репозиторий через API.Есть ли способ сделать это?
Создайте некоторые переменные для ясности:
user=MyUserName pass=MyPassword newName='{"name": "NewNameForRepo"}' oldName="MyRepo"
Затем используйте curl для выполнения запроса:
curl -u "$user:$pass" -X PATCH -d "$newName" https://api.github.com/repos/$user/$oldName
Это возможно через Редактировать репозиторий Метод GitHub API, но вот самый простой пример сделать это с curl:
curl
curl \ -H "Authorization: Token [token]" \ -H "Content-Type:application/json" \ -H "Accept: application/json" \ -X PATCH \ --data '{ "name": "new-repo-name" }' \ https://api.github.com/repos/owner/old-repo-name
Создать новый репо, нажать на него и удалить старый?