tree 5f1f6a258b5ce2177fe38085a174286c4623218d
parent e1c94d7b2470cddab1de1e7156384d9e5df1db7d
parent 953e1267884580681bb61381d830fc6b84c78d55
author Luca Milanesio <luca.milanesio@gmail.com> 1601376186 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1601376186 +0100

Merge branch 'stable-3.1' into stable-3.2

* stable-3.1:
  Exclude special refs from fetch calls
  Parallelise REST API fetch calls

Change-Id: I385d06acc60f7734101cf6fcd9a810cd98ee63b2