latest 18 messages by sebboh
+
[2017-07-07T19:10:53Z]
sebboh
I have multiple virtual machines, not docker... and each one has a sebboh user, and each sebboh user has an ssh id with an associated public key. I submit all those public keys to github, so any of my accounts on any of my machines can push or checkout code. Sometimes I go into the github profile interface and delete old ones that haven't been used in a while.
+
[2017-07-07T19:09:13Z]
sebboh
you can have more than one set of keys. These tokens that jasonaowen mentioned might be a better solution, if you're doing something akin to getting an application to push to a repo... But I don't know anything about the tokens.
+
[2017-07-07T19:07:56Z]
sebboh
wrkrcoop: I don't know. You shouldn't distribute an image like that, obviously...
+
[2017-07-07T19:07:24Z]
sebboh
it's not just more secure, it's also easier.
+
[2017-07-07T19:07:14Z]
sebboh
I think if you knew about ssh keys, you'd prefer to use them for github, instead of your password.
+
[2017-07-07T19:06:37Z]
sebboh
using ssh key-based logins is really great, not just for talking to github, but all kinds of things. Knowledge about how you can use keys with ssh is valuable. I recommend learning all about it.
+
[2017-07-07T19:04:57Z]
sebboh
wrkrcoop: I don't know if github supports this user:password mechanism... But your issue is before that. Some special character in your password is being interpreted by bash as a special character, something to do with events.
+
[2017-07-07T19:02:44Z]
sebboh
wrkrcoop: I push to github using ssh, and I have a public key that was generated on my workstation and then copied into my github profile, so when I do a git push etc, ssh checks my private key, sees it matches the public key I've stored, and lets me continue.
+
[2017-07-07T16:49:43Z]
sebboh
thanks in advance. :)
+
[2017-07-07T16:49:21Z]
sebboh
There's a silly project that uses the github web interface, primarily, to collect user contributions. There's a collection of funny phrases and users may submit more by using the github web interface to edit a json file. But, the json file is too big, so it can't be edited. We can split it up... What is the max file size for editing a json document?
+
[2017-07-07T16:47:28Z]
sebboh
Yo, happy Friday.
+
[2016-09-12T20:49:34Z]
sebboh
just to be clear, I was unable to find a link to /compare, I had to manually edit the url.
+
[2016-09-12T20:27:00Z]
sebboh
(To answer the question: should I grab this application from github, or use the version my distro has?) ... Well, cheers.
+
[2016-09-12T20:26:12Z]
sebboh
for example: https://github.com/joeyh/myrepos/compare/1.20160123...master
+
[2016-09-12T20:25:59Z]
sebboh
ok, if I attpend /compare to the main page of a repo.. and manually type in the tag name... then I can get what I was looking for.
+
[2016-09-12T20:21:38Z]
sebboh
And, hello. :)
+
[2016-09-12T20:21:26Z]
sebboh
Using the web interface...
+
[2016-09-12T20:21:22Z]
sebboh
how can I compare the contents of a tag to the contents of a branch?