1. 20 Nov, 2019 1 commit
  2. 15 Nov, 2019 1 commit
  3. 14 Nov, 2019 1 commit
  4. 13 Nov, 2019 1 commit
  5. 12 Nov, 2019 2 commits
  6. 08 Nov, 2019 1 commit
  7. 04 Nov, 2019 1 commit
  8. 31 Oct, 2019 1 commit
  9. 23 Oct, 2019 2 commits
  10. 22 Oct, 2019 2 commits
  11. 17 Oct, 2019 1 commit
  12. 16 Oct, 2019 2 commits
  13. 14 Oct, 2019 1 commit
  14. 11 Oct, 2019 1 commit
  15. 10 Oct, 2019 1 commit
  16. 09 Oct, 2019 1 commit
  17. 08 Oct, 2019 1 commit
  18. 03 Oct, 2019 1 commit
  19. 02 Oct, 2019 1 commit
  20. 01 Oct, 2019 2 commits
  21. 30 Sep, 2019 1 commit
  22. 25 Sep, 2019 1 commit
  23. 18 Sep, 2019 2 commits
  24. 17 Sep, 2019 1 commit
  25. 16 Sep, 2019 1 commit
  26. 13 Sep, 2019 2 commits
  27. 10 Sep, 2019 2 commits
  28. 09 Sep, 2019 1 commit
  29. 05 Sep, 2019 1 commit
    • Fabio Pitino's avatar
      CE port for pipelines for external pull requests · 8eb4ed3504e3
      Fabio Pitino authored
      Detect if pipeline runs for a GitHub pull request
      
      When using a mirror for CI/CD only we register a pull_request
      webhook. When a pull_request webhook is received, if the
      source branch SHA matches the actual head of the branch in the
      repository we create immediately a new pipeline for the
      external pull request. Otherwise we store the
      pull request info for when the push webhook is received.
      
      When using "only/except: external_pull_requests" we can detect
      if the pipeline has a open pull request on GitHub and create or
      not the job based on that.
      8eb4ed3504e3
  30. 31 Aug, 2019 1 commit
  31. 30 Aug, 2019 1 commit
  32. 29 Aug, 2019 1 commit