+ [2016-04-17T23:04:52Z] cvetan hello guys
+ [2016-04-17T23:05:10Z] cvetan i have been given access to github education pack...
+ [2016-04-17T23:05:31Z] cvetan but i don't get along... :)
+ [2016-04-17T23:05:42Z] cvetan where can i redeen my digital ocean promo code?
+ [2016-04-17T23:05:56Z] cvetan *redeem

message no. 131768

Posted by kuldeep in #github at 2016-04-17T11:51:05Z

jadew, and it is called "proprietary license"
+ [2016-04-18T09:15:41Z] DanyC Hi all, i'm seeking for some help regarding a task i'm trying to complete: in a repo i have 200 branches without a PR associated with it, is any way i can retrieve the list of branches which don't have any PR via API call ?
+ [2016-04-18T12:51:46Z] github446 is it possible to create a new repository from a folder inside an already existing repo?
+ [2016-04-18T12:52:16Z] Seveas yes, that is possible
+ [2016-04-18T12:52:23Z] github446 and still having the commit history