Pinned Loading

1. reachability-viz reachability-viz Public

   Parameterized visualization of reachable and unsafe state sets

   JavaScript

2. Tips, tricks, and reminders for usin... Tips, tricks, and reminders for using git

   1

   ## Configuring git

   2

   * **See git config** `git config --list`

   3

   * **Set global user name** `git config --global user.name "<name>"`

   4

   * **Set global email** `git config --global user.email "<email>"`

   5

   * **Configure git to use current branch as default for pushing to origin** `git config push.default current`