WebID + Git Hack

I thought I'd share a little hack that I am going to start using when
working with git

In your user.email config, it's possible to add an HTTP URI, instead of an
email

I think that could have some advantages for discovery starting from a git
commit, then goes to your profile, and follow your nose to discover more

It's a bit of a hack, because email isnt the same as a URK, but maybe could
have some useful side effect

In any case I'm going to start using it over the next year and see if
anything breaks

I'd be interested if anyone things this might be dangerous, or have
undesirable side-effects.  I cant think of any right now, but it makes me
feel nervous

Shout out to Nathan for spotting this

Received on Monday, 15 November 2021 22:07:51 UTC