Что там с github'ом?

Нет такого.

по умолчанию не ищет, наверное надо что-то подключать

и автоматически создаёт issue

В некоторых репах есть бот, который ищет подобные issue и вставляет комментарий с ссылками. На счет ошибок не знаю.

Это надо явно включать. Я бы включил на пробу, только он Scala не умеет.

Такого не видел. Но в профиле есть включённая по умолчанию настройка «разрешить компании Микрослоп обучать ИИ на вашем коде». Ее надо выключить.

Всем спасибо за ответы.

Несколько лет как удалил там аккаунт, сейчас думаю закинуть туда один свой пет-проект

а где до этого жил пет-проект ? и чего ему там нехватило..несколько лет ведь прожито без гитхаб и не чихал

точнее даже так: какие требования к репе и чем объективным они порождены

например: разработчики развелись, и им действительно нужно где-то в обоюдной доступности держать пета :-)

или: в прикроватной репе не получается ни одной стабильной ветки.

и наконец, уверен что пет нужен всем, боюсь что желающие задудосят всю связь.