dev here: Feel free to ask any questions! This is updated functionality to the Add to Sheets Chrome extension. Now, it's possible to use keyboard shortcuts _or_ the regular right-click and select Sheets destination.
(dev here) Thanks for the feedback. We choose circle to remain consistent with other todo applications (Todoist, iOS Reminders, etc). Semantically, these aren't selection boxes or choices per se. They are to indicate a completion action outside of the scope of a form element.
(dev here) Thanks for the feedback! Most of this is related to sustainability of the platform as a whole. When we originally posted on HN, that was the number one theme - future proofing the platform for users (this also included the subscription aspect) since the majority of the app hadn't gone through any major updates since the initial launch (~3.5 yrs ago). This was just to remain transparent in where we have been focusing our energy.
Thanks! Yeah, I wanted to keep it specific for GitHub but can see how the base functionality can be used for something more generic. On each page match hit for a signed in user, the API is checked to see if the user has notes - if the matching were expanded beyond GitHub, then that would need to be taken into account to reduce ‘ping’ requests that check if notes exist.
