Pinboard Turns Eleven

Re:Pinboard Turns Eleven by idlewords on Friday July 10, 2020 @09:47PM (#23798707)

There's no such thing, though. All tags are on at least one bookmark by definition.

[ Parent | on HN ]

Re:Pinboard Turns Eleven by pcglue on Friday July 10, 2020 @09:59PM (#23798792)

But when I delete the last bookmark for a given tag, I still see the tag in the tag editor, even after a page refresh. And I can still click on the tag which brings up 0 bookmarks. Does it just take a while to be removed?

[ Parent | on HN ]

Re:Pinboard Turns Eleven by pcglue on Friday July 10, 2020 @10:17PM (#23798895)

OK, never mind, it just takes a while for it to be deleted (around 10-15 seconds). I've just been impatient.

[ Parent | on HN ]

Re:Pinboard Turns Eleven by idlewords on Saturday July 11, 2020 @09:31AM (#23802079)

Yeah, it's done by a background script. But genuine orphan tags should not be possible.

[ Parent | on HN ]