On 03/12/2024 02:32, Suhail Singh wrote:
Max Nikulin writes:

For now, I simply wanted to ensure the link was no longer broken.  Feel
free to discard the patch in favor of another that addresses the issue
generically.

I have pushed a commit changing worg/sources/ links to git.sr.ht in 3 files. Accordingly to

git grep --count \
    '\[https://git\.sr\.ht/~bzg/worg/tree/master/item/[^]]*\.org\]'
git grep --count '\[https://orgmode.org/[^]]*\.org\]'

the former used more often. HTML files will be updated when Ihor push some changes next time.

I recall a discussion whether a link to source file should be added to every worg page.

Cancelled.


Reply via email to