Skip to content
Snippets Groups Projects
  1. Dec 29, 2018
  2. Dec 20, 2018
  3. Nov 22, 2018
  4. 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
  5. Oct 04, 2018
  6. Oct 03, 2018
  7. Aug 24, 2018
  8. Aug 14, 2018
  9. Aug 07, 2018
  10. Jul 11, 2018
  11. Jul 07, 2018
  12. Feb 23, 2018