This instance will be upgraded to Heptapod 0.31.0rc on 2022-05-19 at 11:00 UTC+2 (a few minutes of down time)

  1. 25 Nov, 2019 1 commit
  2. 22 Nov, 2019 1 commit
  3. 20 Nov, 2019 1 commit
  4. 15 Nov, 2019 1 commit
  5. 14 Nov, 2019 1 commit
  6. 13 Nov, 2019 1 commit
  7. 12 Nov, 2019 2 commits
  8. 08 Nov, 2019 1 commit
  9. 04 Nov, 2019 1 commit
  10. 31 Oct, 2019 1 commit
  11. 23 Oct, 2019 2 commits
  12. 22 Oct, 2019 2 commits
  13. 17 Oct, 2019 1 commit
  14. 16 Oct, 2019 2 commits
  15. 14 Oct, 2019 1 commit
  16. 11 Oct, 2019 1 commit
  17. 10 Oct, 2019 1 commit
  18. 09 Oct, 2019 1 commit
  19. 08 Oct, 2019 1 commit
  20. 03 Oct, 2019 1 commit
  21. 02 Oct, 2019 1 commit
  22. 01 Oct, 2019 2 commits
  23. 30 Sep, 2019 1 commit
  24. 25 Sep, 2019 1 commit
  25. 18 Sep, 2019 2 commits
  26. 17 Sep, 2019 1 commit
  27. 16 Sep, 2019 1 commit
  28. 13 Sep, 2019 2 commits
  29. 10 Sep, 2019 2 commits
  30. 09 Sep, 2019 1 commit
  31. 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
  32. 31 Aug, 2019 1 commit