+ [2019-03-14T13:25:28Z] briian .wc
+ [2019-03-14T13:38:06Z] gitinfo amosbird: the git-branch manpage is available at https://gitirc.eu/git-branch.html
+ [2019-03-14T13:38:06Z] canton7 amosbird, man git branch -d
+ [2019-03-14T13:38:32Z] canton7 oh, sorry github UI question. "Branches" page, there's a red trashcan icon on the right
+ [2019-03-14T20:13:36Z] bayman i made a git commit on local but did not push. i want to revert to what's on github repo and i don't care about the changes i made. how do i do that?

message no. 170514

Posted by amosbird in #github at 2019-03-14T01:48:02Z

Hello, how can I delete branches on github?
+ [2019-03-15T01:11:15Z] colemickens if someone opens a draft PR and mentions people in it, do they get notified?
+ [2019-03-15T01:16:20Z] jlk Yes it would appear so
+ [2019-03-15T04:30:03Z] daurnimator I'm having trouble with the github api on a private repository; where should I ask?
+ [2019-03-15T05:30:35Z] daurnimator oh ffs.... was https://github.com/octokit/rest.js/issues/1228#issue-404260067