+ [2019-10-16T06:53:13Z] tsujp Has anyone used the github action to publish an NPM package privately?
+ [2019-10-16T13:15:55Z] octav1a There is a small project on github with no license that I can determine. I would like to use some of the code in one of the files as it would save me a lot of effort on another tangentially related project. What is the best way here to ask for permission and/or credit the original author?
+ [2019-10-16T13:20:35Z] R2robot open an issue on their page
+ [2019-10-16T15:51:56Z] jhass and/or grab any email address from their profile or any of the commits (clone the repo and run git log inside), some are more responsive there
+ [2019-10-16T16:23:44Z] jimender2 Is there any issues with pushing/cloning private organization repos right now? Git status says no but I cant

message no. 175093

Posted by nedbat in #github at 2019-10-16T00:46:33Z

Rich_Morin: why is it important to edit it through the web ui?
+ [2019-10-17T05:24:30Z] pagnol I thought I had read somewhere that Github operates a Docker registry but now I can't find anything
+ [2019-10-17T05:25:14Z] pagnol can I build my Docker images directly on Github somehow?
+ [2019-10-17T06:28:52Z] austin987 is there a way to filter on PRs that fail/pass TravisCI checks? IE don't show me PRs that aren't passing the travis checks?
+ [2019-10-17T12:01:38Z] sponge337 Hi guys, I am pushing stuff via the command line. I wanted to add a TAG to my commit with "git tag foobar" but when I push it to the server, the tag is nowhere. What am I doing wrong?
+ [2019-10-17T12:02:56Z] nedbat sponge337: git push --tags # no, I don't know why you have to ask for tags to be pushed separately