Removed from the Gitian role (Ansible) the tasks related to reboot

roles/gitian/tasks/main.yml

@@ -127,30 +127,6 @@
     force: yes
   become_user: "{{ gitian_user }}"
 
-- name: Reboot.
-  shell: sleep 3 && shutdown -r now "Rebooting..."
-  async: 1
-  poll: 0
-  ignore_errors: true
-  become: yes
-
-- name: Figure out the Vagrant VM's SSH port number.
-  local_action: "shell vagrant ssh-config zcash-build | grep Port | awk {'print $2'}"
-  register: vagrant_ssh_port
-  become: no
-
-- name: Wait for virtual machine to come back.
-  local_action: wait_for
-    host={{ ansible_host | default('localhost') }}
-    port={{ vagrant_ssh_port.stdout | int }}
-    delay=30
-    state=started
-  become: no
-
-- name: Wait extra time for VM to come back up.
-  pause:
-    seconds: 10
-
 - name: Set Git username.
   command: "git config --global user.name \"{{ git_name }}\""
   become_user: "{{ gitian_user }}"