select chrome_id_no,plugin_tag_line,plugin_name,plugin_icon,sitemap_url,oldvsnew_comment from final_chrome_totaldata_sept2022 where MATCH(plugin_name) AGAINST('+net +github' IN Boolean MODE) order by users desc
GEditor - GitHub Button Editor
GitHub Button Editor makes it easy for you to open code repositories to the Github1s, CodeSandbox, Gitpod, and VSCode platforms.
Github PR Template Picker
Parses a Github repo for PR templates, adding a picker to the PR 'Create' view that will update the create description field.