Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision ab60d6d17cfff355f0806c9b966de1f177e7e4fd)
+++ Jenkinsfile	(revision efbca693d8c61faf7a3f1f5b495a0caf574f42b6)
@@ -88,4 +88,19 @@
 
 	try {
+		properties ([ 									\
+			[$class: 'ParametersDefinitionProperty', 				\
+				parameterDefinitions: [ 					\
+				[$class: 'BooleanParameterDefinition',  			\
+				  defaultValue: false,  					\
+				  description: 'If true, the build will be promoted to the do-lang git repository (on successful builds only)', \
+				  name: 'promote_build' 					\
+				]] 									\
+			]])
+
+		if(promote_build)
+		{
+			echo 'FULL BUILD'
+		}
+
 		//Prevent the build from exceeding 30 minutes
 		timeout(30) {