ci: Mirror the default branch to public repository

Whenever a merge request has been merged, the default branch will see
new commits, triggering the CI pipeline to push the latest commits to
the public mirror.

Signed-off-by: Lingkai Dong <lingkai.dong@arm.com>