An error occurred fetching the project authors.
  1. 07 Feb, 2013 1 commit
  2. 31 Jan, 2013 2 commits
  3. 24 Jan, 2013 3 commits
  4. 19 Dec, 2012 1 commit
  5. 17 Dec, 2012 1 commit
  6. 14 Dec, 2012 1 commit
  7. 10 Dec, 2012 1 commit
  8. 14 Nov, 2012 1 commit
  9. 07 Nov, 2012 1 commit
  10. 05 Nov, 2012 1 commit
  11. 31 Oct, 2012 1 commit
  12. 25 Oct, 2012 1 commit
  13. 24 Oct, 2012 1 commit
  14. 23 Oct, 2012 2 commits
  15. 15 Oct, 2012 1 commit
  16. 11 Oct, 2012 1 commit
  17. 05 Oct, 2012 2 commits
  18. 04 Oct, 2012 1 commit
  19. 02 Oct, 2012 1 commit
  20. 01 Oct, 2012 4 commits
  21. 27 Sep, 2012 1 commit
  22. 19 Sep, 2012 1 commit
  23. 11 Sep, 2012 1 commit
  24. 24 Aug, 2012 1 commit
  25. 16 Aug, 2012 1 commit
  26. 08 Jun, 2012 1 commit
  27. 10 May, 2012 1 commit
    • Vincent Pelletier's avatar
      Stop using "git pull" and meaningless identity when updating. · 349522b6
      Vincent Pelletier authored
      We are never supposed to merge anything. We are supposed to just follow
      upstream. pull merges, so it's just the wrong tool.
      Instead, fetch and reset.
      It is not a problem to always reset, as user already cannot rely on
      repository's survival across updates: if there is any error reported by
      git command, the repository will be wiped out. So resetting will not do
      any more harm than what can already happen.
      Also, properly quote paths to protect against spaces (in both command and
      update-command).
      349522b6
  28. 24 Apr, 2012 1 commit
  29. 16 Apr, 2012 1 commit
  30. 11 Apr, 2012 1 commit
  31. 26 Mar, 2012 2 commits