~ixoh

~ixoh/public-inbox

Last active 10 months ago
View more

Recent activity

Re: Skip CI for readme changes 10 months ago

From to ~sircmpwn/sr.ht-discuss

> you can manually choose to skip a CI run when you push your commits with `git
> push -o skip-ci`: https://man.sr.ht/builds.sr.ht/#gitsrht

Thanks for the link. I totally missed that! Just gotta remember to use that
when I push text changes.

> My suggestion is to implement a small check that completes the CI pipeline if
> the change is only in the README (or any other files you want to skip).

Oooh, also interesting. Ideally, I wouldn't have to start a whole CI run. I
feel kinda bad taking up resources just for a no-op. When I focus on
documentation, I tend to do a lot of small pushes with just text changes.

Anyway, thanks for the two approaches!

Skip CI for readme changes 10 months ago

From to ~sircmpwn/sr.ht-discuss

Hello, I was wondering if there was a way to skip CI runs for commits that only
change text files.

For example, I have this .build.yml file at the root of my repo.

image: alpine/edge
packages:
  - go
sources:
  - https://git.sr.ht/~ixoh/foo
tasks:
  - test: cd foo && make test

Then I tweaked my readme and pushed the change. A whole CI run kicked off.

Browser file/text search for git repos 10 months ago

From to ~sircmpwn/sr.ht-discuss

I've noticed there is no file or text search on the 'tree' page for Git repos.

I actually use this feature a lot. When working on new projects, I often refer
to code in older projects. On... other services... I often use the browser
search to find a file or text without having to clone a whole repo and run
grep/find just to pull out a few lines.

If a repo only has a few files, it's not a big deal to just click through the
files. However, once you get to more than a few files, it's pretty hard to
remember which file had the code you're looking for. Also, clicking through the
tree gets a lot more annoying.

Another reason why I find the browser search useful is because I don't keep a
copy (let alone an up-to-date copy) of every single repo I've created on every

Re: Failed to send email to lists.sr.ht, host not found 11 months ago

From to ~sircmpwn/sr.ht-discuss

🤦 Whoops. Sorry for the noise.

Failed to send email to lists.sr.ht, host not found 11 months ago

From to ~sircmpwn/sr.ht-discuss

Hello. 

I tried to send an email with git send-email to a list I created on my
account. However, it seems like Migadu was unable to deliver it. I got
this error message.

Reporting-MTA: dns; mta0.migadu.com
X-Postfix-Queue-ID: 09D092E267
X-Postfix-Sender: rfc822; ixoh@cartitas.com
Arrival-Date: Sun, 26 Mar 2023 00:35:12 +0100 (CET)

Final-Recipient: rfc822; ~ixoh/testing@list.sr.ht
Original-Recipient: rfc822;~ixoh/testing@list.sr.ht
Action: failed