+[2019-03-14T13:25:28Z]briian.wc +[2019-03-14T13:38:06Z]gitinfoamosbird: the git-branch manpage is available at https://gitirc.eu/git-branch.html +[2019-03-14T13:38:06Z]canton7amosbird, man git branch -d +[2019-03-14T13:38:32Z]canton7oh, sorry github UI question. "Branches" page, there's a red trashcan icon on the right +[2019-03-14T20:13:36Z]baymani 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?
+[2019-03-15T01:11:15Z]colemickensif someone opens a draft PR and mentions people in it, do they get notified? +[2019-03-15T01:16:20Z]jlkYes it would appear so +[2019-03-15T04:30:03Z]daurnimatorI'm having trouble with the github api on a private repository; where should I ask? +[2019-03-15T05:30:35Z]daurnimatoroh ffs.... was https://github.com/octokit/rest.js/issues/1228#issue-404260067 +[2019-03-15T11:59:55Z]lezsakdomiHi!