Searched full:pytorchmergebot (Results 1 – 11 of 11) sorted by relevance
32 git config --global user.email "pytorchmergebot@users.noreply.github.com"
19 git config --global user.email "pytorchmergebot@users.noreply.github.com"
33 git config --global user.email "pytorchmergebot@users.noreply.github.com"
35 git config --global user.email "pytorchmergebot@users.noreply.github.com"
15 BOT_AUTHORS = ["github-actions", "pytorchmergebot", "pytorch-bot"]
117 + "github_username=pytorchmergebot\n"
1{ 2 "query_sha=e3d02ae0630578ecbdc5a012ecae959d0387a6d0f642a72bc4fc46dc9ee99622 name=pytorch number=105312 owner=pytorch": { 3 "data" ...
21 BOT_AUTHORS = ["github-actions", "pytorchmergebot", "pytorch-bot"]
17 "pytorchmergebot",
141 # comment with pytorchbot because pytorchmergebot gets ignored
416 …proved, you can merge it in by entering a comment with the content `@pytorchmergebot merge` ([what…