- From: Melvin Carvalho <melvincarvalho@gmail.com>
- Date: Mon, 15 Nov 2021 23:07:26 +0100
- To: public-webid <public-webid@w3.org>
Received on Monday, 15 November 2021 22:07:51 UTC
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