Commits on Apr 29, 2020

1. Workflow - use insecure curl when can …

   Turned out that some update jobs failed due to
   
   ```
   {
     "message": "Bad credentials",
     "documentation_url": "https://developer.github.com/v3"
   }
   ```
   
   This is probably due to credentials expiring (long workflow startup?),
   or some internal github issue.
   
   For now, removing authenticated `curl` calls because most
   of them can be done anonymously, and keeping them only when needed.

   

   nyurik committed Apr 29, 2020
   Configuration menu

   • View commit details
   • Copy full SHA for dcf92e2
   • Browse repository at this point

   Copy the full SHA

   dcf92e2 View commit details

   Browse the repository at this point in the history