Closed steele232 closed 4 years ago
Thanks :)
Thanks for taking the time to respond to my pull request. Did this get merged in? If not, that's fine. Thanks again for your time. (Sorry if that's a dumb question, I'm kind of new to contributing).
I thought I merged it, but checking again there's no trace of it.
My mistake, I will merge it ASAP
Added manually in commit 97ba7c0f9ecb5797ccc19111369cd614b7a8869b
Github says I cannot do a merge commit because "The repository that submitted this pull request has been deleted."
Added a section about seeing Jupyter notebook debugging logs.
Feel free to edit my exact wording Merge can be --no-ff