+[2020-04-12T18:32:20Z]HW73ok, thank you for your help. That's going to have to be my solution for now +[2020-04-12T18:32:27Z]HW73I appreciate it +[2020-04-12T18:32:32Z]HW73hope you have a nice day +[2020-04-12T18:32:39Z]R2robotyou too +[2020-04-12T20:05:32Z]ixxieIf I make a github action public and someone else uses it, it runs in their repo right?
if interest for https://github.com/siaw23/sarskov picks up i'll develop it
+[2020-04-13T08:52:35Z]lineosIs 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]Seveaslineos: browse to the commit and add .diff or .patch to the url +[2020-04-13T09:54:55Z]Seveasthe former gives you a diff, the latter a git-format-patch style patch +[2020-04-13T18:25:39Z]tos9Has 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]tos9Or 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