Laxman
Laxman
I'm not sure why this is here, this should ideally be in https://github.com/refined-github/refined-github. We don't have access to, and will not have access to the DOM. Even then, the badging...
I've unpublished the Edge addon due to difficulty in maintaining it. The version published on Chrome Web Store should can be installed for users of Edge.
Chrome/Firefox is playing a notification sound as that's the default behavior. The behavior we have documented here is working as expected. Chrome/Firefox used to show a custom notification popup on...
Closing as stale bug, not reproducible.
We don't have an options page to customize this right now, but could be a useful feature.
This should be possible in the next release of the extension on Tuesday.
> As for GitHub Enterprise, it might be easiest to implement a second extension running all domains and via app settings control which domains actually load the code Is this...
This does makes sense theoretically, but practically I would always want my HEAD to be tagged. If we ignore the HEAD and go tag an older commit in the parent...
Maybe `process.env` is _proxied_ against being exploited by their runners. According to [`child_process.execFile()`](https://nodejs.org/api/child_process.html#child_process_child_process_execfile_file_args_options_callback), parent process' env should be accessible by child process. If that does not happen, can you test...