Event JSON
{
"id": "416e122b77d27b11129f9604f91317528a2dccee1620f55170603417c765a8c9",
"pubkey": "058a6d106c5e6719008ce4db3f64c846caf49925227a39533d12a846fbab21ee",
"created_at": 1719471653,
"kind": 1,
"tags": [
[
"p",
"058a6d106c5e6719008ce4db3f64c846caf49925227a39533d12a846fbab21ee"
],
[
"proxy",
"https://social.treehouse.systems/@marcan/112687294265249103",
"web"
],
[
"e",
"42572a1a11827cd2c2ad736b8c542921c100d229510adb18fc598de143ec3912",
"",
"root"
],
[
"p",
"369163cbc3e05c34dc0bc46da84cf375acaeb6fb5c5130c3f00e4572797c081f"
],
[
"e",
"e7bb4729bc442c4950624fb723a1faaf7301325312b5ed85745191bc6ed0dbe1",
"",
"reply"
],
[
"proxy",
"https://social.treehouse.systems/users/marcan/statuses/112687294265249103",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://social.treehouse.systems/users/marcan/statuses/112687294265249103",
"pink.momostr"
],
[
"expiration",
"1722063744"
]
],
"content": "Honestly, the dumber issue is that GitHub doesn't let you mark a PR as manually merged at all. In my projects we don't use merge commits, so every time I do a manual rebase/push I have to close the PR as unmerged with a comment saying \"manually merged\", which is just ugly.",
"sig": "f457a9e9e619ba56b405014a2fa3567b6d380a628bf1913c65df2e7f73e29b98fadf19b5497845709fc06ab6235f5961b16ee83d1089481d1e8c300b3a5010a7"
}
