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-by: Bobby Bruce <>
Tested-by: Bobby Bruce <>
Reviewed-by: Hoa Nguyen <>
Maintainer: Bobby Bruce <>
1 file changed