+ [2019-04-02T11:36:39Z] choice Soliton: Nice, let me check ...
+ [2019-04-02T11:37:42Z] choice Ok, gotta go! Cu!
+ [2019-04-02T12:16:54Z] gundalow FYI, if you enable branch protections, you may want to tick `Include administrators`
+ [2019-04-02T21:58:31Z] rindolf hi all
+ [2019-04-02T22:51:34Z] causasui I'm setting up branch protection using circleci. What's the difference between "ci/circleci", "ci/circleci: Build Error", "ci/circleci: build" ?

message no. 171425

Posted by choice in #github at 2019-04-02T10:30:38Z

Can everybody with push access to a repo do a force push and rewrite history?
+ [2019-04-03T03:05:16Z] probs hi, I have a project in a github repository and it has a bunch of .cpp files with a makefile. I need to run the makefile in a terminal
+ [2019-04-03T03:05:28Z] probs and then the makefile should run the rest of them
+ [2019-04-03T03:06:38Z] probs I'm having trouble understanding the difference between git, github, gitbash, bash, github desktop, etc
+ [2019-04-03T03:11:25Z] probs I have already synced my repository on github desktop and can see changes I've made in commits I've done using a browser, when I open github desktop. If I have github desktop open can I go to ""repository-> open in command prompt" to use the command prompt to run the makefile?
+ [2019-04-03T03:41:43Z] probs is anyone up?