Add some notes and slides regarding GitHub workflow