Sylvain Gugger 3d2242869d Update delete-dev-doc job to match build-dev-doc (#15891) ... * Update delete-dev-doc job to match build-dev-doc * More debug info * More debug info * Stash if needed * Remove the comment update * Fix paths * Wtf is going on.. * Fix git status test * Try another way * I don't understand what's happening * Bash shell * What's happening now... * What's happening now... * Try like this * Back to trying to use bash * And like that? * Refine tests * Stash after adding new files * Stash after adding new files * Proper commit sha and PR number * Address review comments		2022-03-02 16:18:54 -05:00
..
conda	Fix syntax in conda file	2021-07-12 09:57:54 -04:00
ISSUE_TEMPLATE	Change assignee for tokenizers (#15088)	2022-01-10 09:22:48 -05:00
workflows	Update delete-dev-doc job to match build-dev-doc (#15891)	2022-03-02 16:18:54 -05:00
PULL_REQUEST_TEMPLATE.md	Replaced which with who (#11183)	2021-04-12 18:08:28 -04:00