Jakub Čábera
Jakub Čábera
~~PR creation has some problems~~
https://github.community/t5/GitHub-Actions/How-to-push-to-protected-branches-in-a-GitHub-Action/m-p/30710/highlight/true#M526 Maybe some workaround with SSH / machine user / whatever could work. Need to investigate
Try with workaround without hub first and then hacky way with hub ```powershell $remote = "https://${env:GITHUB_ACTOR}:${env:GITHUB_TOKEN}@github.com/${env:GITHUB_REPOSITORY}.git" git push $remote ``` Actor needs to be admin
It is not possible right now. https://github.community/t5/GitHub-API-Development-and/Github-Actions-url-to-run/td-p/16471
As new version of actions was released I need to investigate again and write to GitHub stuff for some update
Problem is mix of `/` and `\` in file param 
As soon as upstream is fixed I need to think about new way of returning broken URLs
Upstream change is in develop
This could be implemented after Install refactor. Current aria2 download function is not optimal and aria2 factor is negligible. Usually this is due to taken down of artifacts, network issues,...