Remove the pull step from CI pipeline

5 jobs for master in 1 minute and 14 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #4442
build:boinc

00:00:20

passed #4443
build:json

00:00:28

 
  Test
passed #4444
test:json

00:00:18

 
  Push
passed #4445
push:all

00:00:12

 
  Deploy
passed #4446
deploy:json

00:00:14