ViralBShah / JuliaOrgLogos

MIT License
9 stars 5 forks source link

[CI] Update logos/ dir if necessary #8

Closed SaschaMann closed 3 years ago

SaschaMann commented 3 years ago

This will fix the following:

Thanks! I think it would be nice to update the logos folder itself. I think the file sizes are all going to be small enough that it'll be ok to do so.

It does not update PR branches to avoid permission issues but instead commits to main if necessary after a PR has been merged.

Example run: