tree fb527a5ced26c3bd52060384c0d0baa06a19e616
parent 6634afce10b82c7232292b78a1da86cea92bddf9
author Daniel Latypov <dlatypov@google.com> 1617662649 -0700
committer Daniel Latypov <dlatypov@google.com> 1617748796 -0700

minor: move deployment instructions into a ./deploy.sh

Note: this also changes the remote to use SSH, since its seems all (3)
users aren't using https anyways.

The script is mainly copy-paste except that it handles
* when there's a pre-existing checkout of the tree
* running from a subdir of the kunit-website tree
* an option to not commit and push
  * this helps if you want to check the files manually or have some
  unique setup wrt push credentials

Change-Id: I4224850c5da70fbd01d7ae4104044b6695df33f2
Signed-off-by: Daniel Latypov <dlatypov@google.com>