Closed kkellerlbl closed 9 years ago
Will do! I will redo and re-pr.
No need to re-PR, just make another commit and push again. I'm generally not a stickler for squeaky-clean history, so I don't think it's a problem.
Okay, I think that's right. Does that change look good to you?
Perfect, merging. Thanks!
Point to the deployment doc in Github instead of in Google Drive. (Is using the full URL the canonical way to refer to files in the repo?)