+ [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?