Searched full:mergebot (Results 1 – 8 of 8) sorted by relevance
10 environment: mergebot33 git config --global user.name "PyTorch MergeBot"
11 environment: mergebot34 git config --global user.name "PyTorch MergeBot"
11 environment: mergebot36 git config --global user.name "PyTorch MergeBot"
16 environment: ${{ (github.event_name == 'schedule') && 'mergebot' || '' }}
20 git config --global user.name "PyTorch MergeBot"
31 mergebot: True
185 "repo has additional permissions settings that mergebot does not qualify."
1{ 2 "query_sha=e3d02ae0630578ecbdc5a012ecae959d0387a6d0f642a72bc4fc46dc9ee99622 name=pytorch number=105312 owner=pytorch": { 3 "data" ...