Robin d7174923a2 Git scripts to sync or reset repository fork (#5055) ... * Add script to clean / reset the fork and start from upstream * Add script to sync fork with latest changes from upstream * Remove swap file accidentially checked in * Add exit on break to shell scripts and documentation of shell scripts to workflow-suggested workflow Co-authored-by: Mac Siri <krairit.siri@gmail.com>		2019-12-30 13:58:16 -05:00
..
clean_fork.sh	Git scripts to sync or reset repository fork (#5055)	2019-12-30 13:58:16 -05:00
sync_fork.sh	Git scripts to sync or reset repository fork (#5055)	2019-12-30 13:58:16 -05:00