Skip to content
Snippets Groups Projects
  1. Mar 04, 2022
  2. Mar 02, 2022
  3. Mar 01, 2022
  4. Feb 15, 2022
    • Richard van der Hoff's avatar
      Docker: remove `VOLUME` directive (#11997) · 5598556b
      Richard van der Hoff authored
      The driver for this is to stop Complement complaining about it, but as far as I can tell it was pointless and needed to go away anyway.
      
      I'm a bit unclear about what exactly VOLUME does, but I think what it means is that, if you don't override it with an explicit -v argument, then docker run will create a temporary volume, and copy things into it. The temporary volume is then deleted when the container finishes.
      
      That only sounds useful if your image has something to copy into it (otherwise you may as well just use the default root filesystem), and our image notably doesn't copy anything into /data.
      
      So... this wasn't doing anything, except annoying Complement?
      Unverified
      5598556b
  5. Jan 12, 2022
  6. May 05, 2021
  7. Apr 08, 2021
  8. Mar 26, 2021
  9. Mar 22, 2021
  10. Mar 16, 2021
  11. Feb 15, 2021
  12. Dec 04, 2020
    • Jordan Bancino's avatar
      Remove version pin prometheus_client dependency (#8875) · 295c209c
      Jordan Bancino authored
      This removes the version pin of the `prometheus_client` dependency, in direct response to #8831. If merged, this will close #8831 
      
      As far as I can tell, no other changes are needed, but as I'm no synapse expert, I'm relying heavily on CI and maintainer reviews for this. My very primitive test of synapse with prometheus_client v0.9.0 on my home server didn't bring up any issues, so we'll see what happens.
      
      Signed-off-by: Jordan Bancino
      Unverified
      295c209c
  13. Nov 17, 2020
  14. Nov 02, 2020
  15. Aug 26, 2020
  16. Aug 24, 2020
  17. Jul 17, 2020
  18. Jul 06, 2020
  19. May 03, 2020
  20. Feb 12, 2020
  21. Jul 12, 2019
  22. Jul 02, 2019
  23. Jun 25, 2019
  24. Jun 18, 2019
  25. Feb 05, 2019
  26. Jan 09, 2019
  27. Oct 01, 2018
  28. Sep 25, 2018
  29. Sep 20, 2018
  30. Sep 10, 2018
  31. Aug 09, 2018
  32. Aug 02, 2018
  33. Jul 19, 2018
  34. May 18, 2018
  35. Feb 08, 2018
  36. Feb 05, 2018
Loading