Skip to content
Snippets Groups Projects
  1. Apr 17, 2025
  2. Apr 16, 2025
  3. Mar 16, 2025
  4. Mar 15, 2025
    • Georges Racinet's avatar
      make-workspace: derive HDK revision from series · 74c634cf
      Georges Racinet authored
      We are now accepting the fact that it will be safer to have the stable,
      oldstable and maybe future branches of the HDK, with the advantage that
      now make-workspace will use the appropriate one.
      74c634cf
    • Georges Racinet's avatar
      make-workspace: clone HDK straight to the wanted revision · 608f7d41
      Georges Racinet authored
      This has become necessary, because the current head of `default`
      (upstream GDK) has Git submodules, and can therefore not be checked
      out:
      
      ```
      adding remote bookmark main
      updating working directory
      abort: git subrepos not allowed
      (see 'hg help config.subrepos' for details)
      ```
      608f7d41
  5. Mar 11, 2025
  6. Mar 01, 2025
  7. Feb 28, 2025
  8. Jan 28, 2025
  9. Dec 24, 2024
  10. Dec 23, 2024
  11. Nov 21, 2024
    • Georges Racinet's avatar
      Merged heads · cea6db0d
      Georges Racinet authored
      Clearly a forgotten push, unfortunately the choices were
      different. Resolved conflict to the most recent of both revisions
      (not done on the current system, but we will fix existing workspaces
      right now).
      
      This is arbitrary anyway, consistency being the objective
      cea6db0d
  12. Nov 07, 2024
  13. Oct 17, 2024
  14. Sep 14, 2024
  15. Nov 19, 2024
  16. Nov 09, 2024
  17. Oct 21, 2024
  18. Sep 13, 2024
  19. Aug 25, 2024
  20. Aug 22, 2024
  21. Aug 08, 2024
  22. May 27, 2024
  23. May 21, 2024
  24. Apr 19, 2024
  25. Apr 03, 2024
  26. Mar 14, 2024
  27. Mar 12, 2024
  28. Mar 03, 2024
  29. Feb 10, 2024
Loading