Skip to content
Snippets Groups Projects
  1. Apr 04, 2023
  2. Jan 17, 2023
  3. Jan 13, 2023
    • Julien Cristau's avatar
      Bug 1810150 - stop scheduling pull-request task graphs when there's already a... · 7652670e
      Julien Cristau authored
      Bug 1810150 - stop scheduling pull-request task graphs when there's already a corresponding push graph
      
      When a PR is opened from a branch in the main repo, we used to create a
      task graph for both the push event and the pull-request open or
      synchronize event, associated with the same commit, and thus essentially
      doing the same work twice.
      
      With this change, we skip the pull-request graph, and rely on the push
      graph to run the required checks.  This requires corresponding changes
      to the mergify config to consider either of complete-pr or complete-push
      as good enough to merge a PR.
      7652670e
  4. Dec 20, 2022
  5. Dec 15, 2022
  6. Dec 14, 2022
  7. Nov 24, 2022
  8. Nov 15, 2022
  9. Nov 07, 2022
  10. Oct 31, 2022
  11. Oct 14, 2022
  12. Sep 15, 2022
  13. Sep 14, 2022
  14. Sep 07, 2022
  15. Aug 09, 2022
Loading