+ [2020-04-12T18:32:20Z] HW73 ok, thank you for your help. That's going to have to be my solution for now
+ [2020-04-12T18:32:27Z] HW73 I appreciate it
+ [2020-04-12T18:32:32Z] HW73 hope you have a nice day
+ [2020-04-12T18:32:39Z] R2robot you too
+ [2020-04-12T20:05:32Z] ixxie If I make a github action public and someone else uses it, it runs in their repo right?

message no. 179174

Posted by roboirc in #github at 2020-04-12T08:22:57Z

nice that would be useful for apps
+ [2020-04-13T08:52:35Z] lineos Is there a way to copy a diff patch from a commit on github or do you need to checkout the repo first?
+ [2020-04-13T09:54:34Z] Seveas lineos: browse to the commit and add .diff or .patch to the url
+ [2020-04-13T09:54:55Z] Seveas the former gives you a diff, the latter a git-format-patch style patch
+ [2020-04-13T18:25:39Z] tos9 Has anyone successfully managed to push to a branch from a GHA -- partiuclarly a different one than the one that triggers the build
+ [2020-04-13T18:26:13Z] tos9 Or more specifically, anyone see what I'm doing wrong here: https://github.com/Julian/Julian.github.io/runs/578247213?check_suite_focus=true#step:8:14