+ [2020-07-14T16:56:51Z] skalnik Yeah sounds like it wasn’t great here with the earlier outage. Hopefully we can make it less bad in the future
+ [2020-07-14T21:22:43Z] canton7 Wut, we have people with ops in here? That's a first!
+ [2020-07-14T22:01:23Z] tona , coudl someone advice me
+ [2020-07-14T22:01:23Z] tona hello my github is empty and I have one code I would like to push into github account , I did those steps 1.- git init , 2.- git add . 3.- git commit -m "initial" 4.- git remote add origin 5.- git push -u origin master , but it is not allowing to push it it telling me first git pull , but I dont want to lose my information in my folder
+ [2020-07-14T22:08:00Z] tona coudl someone advice me , I tried to use git push -u origin master --force for my first time, but I am know if doing it , it right

message no. 183173

Posted by skalnik in #github at 2020-07-14T16:56:51Z

Yeah sounds like it wasn’t great here with the earlier outage. Hopefully we can make it less bad in the future
+ [2020-07-15T12:57:04Z] dostoyevsky How do I adjust a pull request? I forgot one change in my pull request--should I just remove the current PR and then create a new one?
+ [2020-07-15T12:57:17Z] CraigEr What do you want to adjust about it?
+ [2020-07-15T12:57:47Z] dostoyevsky Response to my PR was that I need to change one line in my PR
+ [2020-07-15T12:58:03Z] CraigEr If it's a line of code, just commit to the same branch and your PR will update
+ [2020-07-15T12:58:33Z] dostoyevsky ah, because the PR is from :master