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>
1 file changed
