Commits · master · webNIST / config-prod

Jun 09, 2018
- Change the update configuration (faster update) · 8cf00390
  Marco De Donno authored Jun 10, 2018
  
  8cf00390
May 28, 2018
- Remove useless Makefile · f3d3099d
  Marco De Donno authored May 28, 2018
  
  f3d3099d
May 26, 2018
- Use the remote docker API call instead of the ssh command · 7712145c
  Marco De Donno authored May 26, 2018
  
  7712145c
May 25, 2018
- Rename from nistserve to webnist the production service · 69bdef88
  Marco De Donno authored May 25, 2018
  
  69bdef88
- Update the production configuration · ec83aa30
  Marco De Donno authored May 25, 2018
  
  ec83aa30
- Add the automatic deployement to the production server · ed3e22dd
  Marco De Donno authored May 25, 2018
  
  ed3e22dd
- Inital commit · 2026db74
  Marco De Donno authored May 25, 2018
  
  2026db74