Conversation

Notices

1. Embed this notice
   ✧✦Catherine✦✧ (whitequark@mastodon.social)'s status on Tuesday, 23-Dec-2025 21:44:56 JST ✧✦Catherine✦✧

   apparently github will now silently insert copilot-generated commit messages if you don't provide any commit body via the web interface 🤮

   • Embed this notice
     ✧✦Catherine✦✧ (whitequark@mastodon.social)'s status on Tuesday, 23-Dec-2025 22:00:03 JST ✧✦Catherine✦✧

     in reply to

     • yomimono, still on land

     @yomimono you see why i've been hard at work replacing github piece by piece, right

   • Embed this notice
     yomimono, still on land (yomimono@wandering.shop)'s status on Tuesday, 23-Dec-2025 22:00:10 JST yomimono, still on land

     in reply to

     @whitequark hooooooly shit, okay, rearranging the priority queue

   • Embed this notice
     ✧✦Catherine✦✧ (whitequark@mastodon.social)'s status on Tuesday, 23-Dec-2025 22:18:16 JST ✧✦Catherine✦✧

     in reply to

     • Glerk Pizza

     @anshthewad codeberg.org

   • Embed this notice
     Glerk Pizza (anshthewad@mathstodon.xyz)'s status on Tuesday, 23-Dec-2025 22:18:18 JST Glerk Pizza

     in reply to

     @whitequark Is there a way to disable this? or is there an alternative to github?

   • Embed this notice
     ✧✦Catherine✦✧ (whitequark@mastodon.social)'s status on Tuesday, 23-Dec-2025 22:23:57 JST ✧✦Catherine✦✧

     in reply to

     • Glerk Pizza

     @anshthewad https://mastodon.social/@whitequark/115769096716828930

   • Embed this notice
     ✧✦Catherine✦✧ (whitequark@mastodon.social)'s status on Tuesday, 23-Dec-2025 23:14:55 JST ✧✦Catherine✦✧

     in reply to

     • Glerk Pizza

     @anshthewad if they use github you're stuck using github (unless you can convince them to migrate)

   • Embed this notice
     Glerk Pizza (anshthewad@mathstodon.xyz)'s status on Tuesday, 23-Dec-2025 23:14:57 JST Glerk Pizza

     in reply to

     @whitequark Ok, I'll have to start using that. But what if I'm contributing to a library like https://github.com/agda/cubical which isn't on codeberg?

   • Embed this notice
     ✧✦Catherine✦✧ (whitequark@mastodon.social)'s status on Tuesday, 23-Dec-2025 23:51:33 JST ✧✦Catherine✦✧

     in reply to

     • anathema

     @anathema yep

   • Embed this notice
     anathema (anathema@girlcock.club)'s status on Tuesday, 23-Dec-2025 23:51:34 JST anathema

     in reply to

     @whitequark that seems very unethical o_0

   • Embed this notice
     Robert Thau (rst@mastodon.social)'s status on Wednesday, 24-Dec-2025 05:43:40 JST Robert Thau

     in reply to

     @whitequark All sorts of reasons to be suspicious of the web interface there. (Besides, I kinda like to preview locally to make sure I didn't commit debugging lint accidentally -- which also limits their ability to mess around afterwards, as they'd have to change the commit hash.)