1. 15 3月, 2019 5 次提交
  2. 14 3月, 2019 6 次提交
    • A
      Merge pull request #231 from nhooyr/docker · e3d97166
      Anmol Sethi 提交于
      Dockerfile: include git
      e3d97166
    • A
      Dockerfile: include git · 862c9440
      Anmol Sethi 提交于
      Closes #221
      Closes #230
      Closes #203
      862c9440
    • S
      3a6e27bc
    • P
      Add git to docker container · ec2d01ab
      pokemonlover1234 提交于
      Install git in the docker container, proposed by #203. While it is possible that issue requires further discussion, this is just a proposal pull request. If that proposal is accepted, here's the pull request.
      ec2d01ab
    • A
      Fix race with watcher & stat · e4ff7238
      Asher 提交于
      There is a window between when the stat is made and the result makes it
      back to the client where a file is created or deleted and it won't be a
      part of that stat.
      
      To fix it, I added a new property signaling that we got some changes
      since starting the stat and should run the stat again because we have no
      way of knowing whether the currently running stat will include the new
      changes or not.
      e4ff7238
    • S
      [ImgBot] Optimize images (#222) · f9448c6c
      Sandro Jäckel 提交于
      *Total -- 1,393.88kb -> 908.68kb (34.81%)
      
      /doc/assets/chrome_confirm.png -- 34.10kb -> 18.95kb (44.43%)
      /doc/assets/server-password-modal.png -- 96.67kb -> 58.14kb (39.86%)
      /doc/assets/ide.png -- 984.53kb -> 603.38kb (38.71%)
      /doc/assets/chrome_warning.png -- 44.25kb -> 30.03kb (32.14%)
      /doc/assets/logo-horizontal.png -- 22.00kb -> 17.48kb (20.55%)
      /doc/assets/aws_ubuntu.png -- 51.62kb -> 43.93kb (14.91%)
      /doc/assets/cli.png -- 160.70kb -> 136.78kb (14.89%)
      f9448c6c
  3. 13 3月, 2019 8 次提交
  4. 12 3月, 2019 5 次提交
  5. 11 3月, 2019 3 次提交
  6. 10 3月, 2019 13 次提交