Earlier quoted context omitted.
Check out https://codefloe.com for private repos hosted with Forgejo. It is also free and hosted in the EU.
Are you actually using this? Their status page seems to indicate that their main service is unhealthy for the past 6 days? https://status.codefloe.com/ Unhealthy doesn't mean unusable but it sounded great until I checked that.
Copilot edited an ad into my PR
201–210 of 704 posts
Re: Copilot edited an ad into my PR
#202Earlier quoted context omitted.
Honestly, it being a "tip" or "ad" is exactly the same. What I mean is that even if I take that at face value and accept that it's not an ad, and I can just about see from a certain level of corporate brainwashing how one could believe that, it's still completely unacceptable.
Calling it a "tip" is definitely just a semantic trick to make it slightly less easy to frame a negative response and galvanise opinion against the practise. Reminds me a bit of confirmation shaming (which, now I think about it, I haven't seen in a while) where you're made to click a button that says something like "No, I don't want an amazing 15% off my next order by signing up to your email list".
That's what I wanted to say! Thank you.
Re: Copilot edited an ad into my PR
#203--
Sent from my Android phone
--
Sent from my iPhone
Self-advertisement has been creeping up on us on a lot of places, I am unfortunately pessimistic on how this will turn out
Re: Copilot edited an ad into my PR
#204Re: Copilot edited an ad into my PR
#205This "ad" is not exactly new. Looks like MS thinks it's a "tip" rather than an ad. I don't know if Raycast team even knows about this. https://github.com/PlagueHO/plagueho.github.io/pull/24#issue... Copilot has been adding "(emoji) (tip)" thing since May 2025. GitHub copilot was released in May 2025, so basically it has had an ad since beginning. There are 1.5m of these things in GitHub. https://github.com/search?q=%…
Re: Copilot edited an ad into my PR
#206This "ad" is not exactly new. Looks like MS thinks it's a "tip" rather than an ad. I don't know if Raycast team even knows about this. https://github.com/PlagueHO/plagueho.github.io/pull/24#issue... Copilot has been adding "(emoji) (tip)" thing since May 2025. GitHub copilot was released in May 2025, so basically it has had an ad since beginning. There are 1.5m of these things in GitHub. https://github.com/search?q=%…
Re: Copilot edited an ad into my PR
#207Earlier quoted context omitted.
I said it’s more believable than GitHub randomly advertising a non-GitHub product (my initial read of the situation, which seemed highly unlikely).
...a non-GitHub and non-Microsoft product.
Also, the documentation on Github, linked to by the ad, shows only Mac keyboard shortcuts for operating Raycast.
Re: Copilot edited an ad into my PR
#208Earlier quoted context omitted.
Looks like there's a comment added by Copilot before any of these "tips" as well, so pretty sure this originates from Copilot and not Raycast: https://github.com/search?q=%22START+COPILOT+CODING+AGENT+TI...
Child comments here indicates its from Ray cast, and the messaging appears on gitlab too. https://news.ycombinator.com/item?id=47570820
Re: Copilot edited an ad into my PR
#209I was recently running Copilot CLI in a sandbox on autopilot mode and it kept overriding git config to put only "GitHub Copilot" as commit author instead of my name. Strongly worded instructions weren't helping, I had to resort to the permission system to change this behavior. I wonder if this is consistent with their terms of service. I mean, maybe they DO take all the responsibility for the code I generate and push…
It's possible they are safeguarding for possible future changes of copyright law that would give Microsoft copyright over all Copilot contributions. This may sound paranoid but, as far as I know, exactly who counts as an "AI operator", how much authorship an "AI operator" has, and who gets copyright, or whether AI contributions are even in the public domain, are legally untested and unclear issues.
Re: Copilot edited an ad into my PR
#210This "ad" is not exactly new. Looks like MS thinks it's a "tip" rather than an ad. I don't know if Raycast team even knows about this. https://github.com/PlagueHO/plagueho.github.io/pull/24#issue... Copilot has been adding "(emoji) (tip)" thing since May 2025. GitHub copilot was released in May 2025, so basically it has had an ad since beginning. There are 1.5m of these things in GitHub. https://github.com/search?q=%…
Microsoft would probably seriously refer to it as 'just the tip'. You'll never guess what happens next. (Hint: everyone knows what happens next)