+ [2016-05-30T15:12:53Z] peey Alright folks, thanks
+ [2016-05-30T18:46:47Z] coventry Suppose you have a paid github account and a private repository on it. What happens to that repository if your subscription expires?
+ [2016-05-30T18:47:09Z] coventry Does it go public, or is your access to it limited in some way?
+ [2016-05-30T18:50:41Z] coventry Ah, you lose access: https://help.github.com/articles/downgrading-a-user-account-to-free/ "Make sure you clone your private repositories before you downgrade or you won't be able to access them without upgrading to a paid plan again."
+ [2016-05-30T20:34:21Z] Gurkenglas How should I go about sampling many github files for ML? (As a "pet" project, to see how well ML algorithms can deduce file extensions from 2D black/white non-whitespace/whitespace images)

message no. 137353

Posted by dmko in #github at 2016-05-30T14:19:07Z

I've made a new pull request, but I don't see the review or final "create pull request" button
+ [2016-05-31T01:13:07Z] VxJasonxV ah, they left
+ [2016-05-31T03:35:23Z] TheBlueWizard I was trying to mirror my fork of an upstream, so I git pulled the upstream onto my local copy and I got a merge conflict on .gitmodules. How do I properly fix that?
+ [2016-05-31T03:37:47Z] TheBlueWizard maybe too complicate...gonna sleep
+ [2016-05-31T03:37:55Z] Remram .gitmodules is a text file, just fix it