tree 96a6da6dbbb0b9ad00db6b5362bc884bab3d1bd9
parent 4eda2bde21ff8da54e06cfb6ad6108bed5a407e4
author Zhantong Qiu <ztqiu@ucdavis.edu> 1657220192 -0700
committer Zhantong Qiu <ztqiu@ucdavis.edu> 1657299549 +0000

website: fixed a command line

The original command line for push under
the "Making iterative improvements based
on feedback" was causing error.
This commite changed it from "git push
original HEAD:refs/for/develop" to
"git push origin HEAD:refs/for/develop"

Change-Id: I27f386f90330135065f5dd33674991af9e82d763
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5-website/+/61170
Reviewed-by: Bobby Bruce <bbruce@ucdavis.edu>
Tested-by: Bobby Bruce <bbruce@ucdavis.edu>
Reviewed-by: Hoa Nguyen <hoanguyen@ucdavis.edu>
Maintainer: Bobby Bruce <bbruce@ucdavis.edu>