Additional changes for developer needed.

roles/developer/build/files/syncDeveloper.sh

@@ -0,0 +1,13 @@
+#!/bin/bash
+
+if [ ! -d  /srv/web/developer.fedoraproject.org/.git ]
+then
+    /usr/bin/git clone -q https://github.com/developer-portal/developer.fedoraproject.org.git /srv/web/developer.fedoraproject.org
+fi
+
+cd /srv/web/developer.fedoraproject.org
+
+/usr/bin/git clean -q -fdx || exit 1
+/usr/bin/git reset -q --hard || exit 1
+/usr/bin/git checkout -q master || exit 1
+/usr/bin/git pull -q --ff-only || exit 1

roles/developer/build/tasks/main.yml

@@ -16,13 +16,13 @@
   tags:
   - developer.fedoraproject.org
 
-#- name: Copy syncDeveloper script (prod)
-#  when: env == "production"
-#  copy: >
-#    src=syncDeveloper.sh dest=/usr/local/bin/syncDeveloper owner=root group=root
-#    mode=0755
-#  tags:
-#  - developer.fedoraproject.org
+- name: Copy syncDeveloper script (prod)
+  when: env == "production"
+  copy: >
+    src=syncDeveloper.sh dest=/usr/local/bin/syncDeveloper owner=root group=root
+    mode=0755
+  tags:
+  - developer.fedoraproject.org
 
 - name: install rss.py script
   copy: src=rss.py dest=/usr/local/bin/rss.py mode=0755 owner=root group=root