contrib: use push force because of the CI

If we don't force push we won't be able to push new content from
jenkins.

Signed-off-by: Sébastien Han <seb@redhat.com>

diff --git a/contrib/push-roles-to-ansible-galaxy.sh b/contrib/push-roles-to-ansible-galaxy.sh
index 2f0a8b9270b8c248fa2ec7d98bef000ca244a5e0..9e04298a722fd02a1748b1b87e3dc73ec8b7754e 100755 (executable)
--- a/contrib/push-roles-to-ansible-galaxy.sh
+++ b/contrib/push-roles-to-ansible-galaxy.sh
@@ -66,13 +66,13 @@ for ROLE in $ROLES; do
   for BRANCH in $BRANCHES; do
     git checkout -B $BRANCH origin/$BRANCH
     git filter-branch -f --prune-empty --subdirectory-filter roles/$ROLE
-    git push $REMOTE $BRANCH
+    git push -f $REMOTE $BRANCH
   done
   reset_hard_origin
   # then we filter tags starting from version 2.0 and push them
   for TAG in $(git tag | egrep '^v[2-9].[0-9]*.[0-9]*$'); do
     git filter-branch -f --prune-empty --subdirectory-filter roles/$ROLE $TAG
-    git push $REMOTE $TAG
+    git push -f $REMOTE $TAG
     reset_hard_origin
   done
 done