[gem5-dev] [S] Change in gem5/gem5[develop]: util: use origin/develop as default upstream branch

Giacomo Travaglini has submitted this change. ( https://gem5-review.googlesource.com/c/public/gem5/+/67331?usp=email ) Change subject: util: use origin/develop as default upstream branch .. util: use origin/develop as default

[gem5-dev] [S] Change in gem5/gem5[develop]: util: use origin/develop as default upstream branch

Giacomo Travaglini has uploaded this change for review. ( https://gem5-review.googlesource.com/c/public/gem5/+/67331?usp=email ) Change subject: util: use origin/develop as default upstream branch .. util: use origin/develop