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?