Commits on Mar 21, 2022

1. Run git submodule update when resetting the git clone …

   The submodule remote might have been updated. If we don't run this and
   we have already a cache/clone of the repository, git won't use the new
   remote url, leading to errors such as:
   
       Submodule 'ocaml-version' (https://github.com/ocurrent/ocaml-version.git) registered for path 'ocaml-version'
       fatal: remote error:
         The unauthenticated git protocol on port 9418 is no longer supported.
       Please see https://github.blog/2021-09-01-improving-git-protocol-security-github/ for more information.
       Unable to fetch in submodule path 'ocaml-version'; trying to directly fetch a28dedbd8dcc325d665f5f7385cfe2afb85cbac5:
       fatal: remote error:
         The unauthenticated git protocol on port 9418 is no longer supported.
       Please see https://github.blog/2021-09-01-improving-git-protocol-security-github/ for more information.
       Fetched in submodule path 'ocaml-version', but it did not contain a28dedbd8dcc325d665f5f7385cfe2afb85cbac5. Direct fetching of that commit failed.
       git-submodule-update failed with exit-code 1

   

   MisterDA committed Mar 21, 2022
   Configuration menu

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

   Copy the full SHA

   1fa8a3f View commit details

   Browse the repository at this point in the history