+[2015-04-01T21:15:13Z]jonfen_is there any difference between creating a machine user on github and a regular user? +[2015-04-01T21:16:10Z]jonfen_https://developer.github.com/guides/managing-deploy-keys/#machine-users +[2015-04-01T22:11:27Z]VxJasonxVno +[2015-04-01T22:11:56Z]VxJasonxVnot that they're here to get that answer +[2015-04-01T22:11:58Z]VxJasonxValas
message no. 87552
Posted by Lirux in #github at 2015-04-01T10:01:12Z
lets say I've changed something on my desktop config that should also apply to my laptop
+[2015-04-02T00:39:51Z]ResidentBiscuitCan I get the same information through polling notifications that I can get from webhooks? +[2015-04-02T01:48:47Z]dodobrainhi all.. +[2015-04-02T01:49:01Z]dodobraincan someone tell me what the workflow is on github for simple patches? +[2015-04-02T01:50:30Z]dodobraini want to submit a pull request (patch) to a repository, do i simply fork the repo, make my changes, commit to my forked repo, submit a pull request and then delete my fork? +[2015-04-02T02:04:14Z]razdodobrain: exactly