latest 20 messages by geri
+
[2020-06-23T17:06:13Z]
geri
and before get some data from a server
+
[2020-06-23T17:05:59Z]
geri
im trying to create a pull request to a private repo
+
[2020-06-23T17:05:48Z]
geri
hi what is the diff between github actions vs github api?
+
[2020-06-23T02:55:17Z]
geri
but i already set: git config --global user.email and git config --global user.name
+
[2020-06-23T02:55:05Z]
geri
its a private github repo and i get this error: fatal: could not read Username for 'https://github.com': terminal prompts disabled
+
[2020-06-23T02:54:46Z]
geri
https://ideone.com/WtULZd
+
[2020-06-23T02:54:24Z]
geri
hi i have some issues with github:
+
[2019-07-28T20:51:59Z]
geri
canton7 can i just git commit the files which i resolved and do: git push origin TEST-2452 ?
+
[2019-07-28T20:50:48Z]
geri
i did up to line 5
+
[2019-07-28T20:50:31Z]
geri
what i need to do next?
+
[2019-07-28T20:50:22Z]
geri
canton7 https://ideone.com/0S9KoW
+
[2019-07-28T20:47:44Z]
geri
there is not auto resolve
+
[2019-07-28T20:47:34Z]
geri
for: This branch has conflicts that must be resolved
+
[2019-07-28T20:46:52Z]
geri
hi, why is github not able to auto merge?
+
[2016-10-11T19:55:18Z]
geri
thanks so much
+
[2016-10-11T19:55:15Z]
geri
ok nice
+
[2016-10-11T19:54:53Z]
geri
remote add?
+
[2016-10-11T19:53:03Z]
geri
nedbat: i dont remember that...
+
[2016-10-11T19:51:00Z]
geri
nedbat: whats the command to push the history to the new repo?
+
[2016-10-11T19:50:38Z]
geri
nedbat: very cool!