+[10 years ago]jonfen_is there any difference between creating a machine user on github and a regular user? +[10 years ago]jonfen_https://developer.github.com/guides/managing-deploy-keys/#machine-users +[10 years ago]VxJasonxVno +[10 years ago]VxJasonxVnot that they're here to get that answer +[10 years ago]VxJasonxValas
milki: i was hoping one would be here https://github.com/reticulatingspline/UrbanDictionary
+[10 years ago]ResidentBiscuitCan I get the same information through polling notifications that I can get from webhooks? +[10 years ago]dodobrainhi all.. +[10 years ago]dodobraincan someone tell me what the workflow is on github for simple patches? +[10 years ago]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? +[10 years ago]razdodobrain: exactly