Event JSON
{
"id": "be87ac7639bb6f314389533ebb8c14ad5d0bf037d875fe11d70fe19cd590bbc6",
"pubkey": "5ab0ff62d0dc33bfa5c3380d991e650e4c28b949f6d524e2ef77068e8ebf37d5",
"created_at": 1717069851,
"kind": 1,
"tags": [
[
"p",
"ae6e639bb1d7bb212b9b05d91e093d19d79323830c8706cb92d326eb8939e209",
"wss://relay.mostr.pub"
],
[
"p",
"5935234f07b968176f3b4173dbe7a62532c819a45d013255daf3a706fee05f0d",
"wss://relay.mostr.pub"
],
[
"e",
"f03710e6176dd2102dd6950e9264ab17fad71265e6dc57c68cf362b61d4c39a3",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://nixos.paris/users/raito/statuses/112529889768510052",
"activitypub"
]
],
"content": "nostr:npub14ehx8xa367ajz2umqhv3uzfar8texgurpjrsdjuj6vnwhzfeugys2zhy22 I heard there could be a Lean user meetup at some point, but if you have a suggested spot to meet up on, happy to join :-)",
"sig": "98d4d66cf40b4b19cf292705c7ff136a7a6d27ce7b9fa264fd18d74a16ab40fe7d84966257c9d6ed824c7e0f9d38dafb9516fafd0dabc5871934479abb4710c4"
}