Skip to content
Snippets Groups Projects
  1. Nov 30, 2019
  2. Oct 08, 2019
  3. Jul 21, 2019
  4. Jul 09, 2019
  5. Apr 01, 2019
  6. Mar 25, 2019
  7. Mar 24, 2019
  8. Mar 23, 2019
  9. Feb 22, 2019
  10. Feb 12, 2019
  11. Jan 28, 2019
  12. Dec 29, 2018
  13. Dec 20, 2018
  14. Nov 22, 2018
  15. Oct 14, 2018
    • Peter Wu's avatar
      ci: stop using git clone --shallow-since · 9005b262
      Peter Wu authored
      When git merges are in use it appears that --shallow-since=DATE stops at
      the first merge commit that is older than DATE. This could create a too
      shallow clone that lacks the desired commit. Disable this optimization.
      Observed with git 2.19.1.
      
      Fixes #359
      9005b262
  16. Oct 04, 2018
  17. Oct 03, 2018
  18. Aug 24, 2018
  19. Aug 14, 2018
  20. Aug 07, 2018
  21. Jul 11, 2018
  22. Jul 07, 2018
  23. Feb 23, 2018