-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: mitgedanken/mitgedanken.github.io
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Restyle Prettier fixes
auto-merge:on-check-success
Auto-merge on passed checks
auto-merge-method:merge
Auto-merge with merge commit
#9
opened Jan 20, 2021 by
restyled-io
bot
Loading…
Prettier fixes
auto-merge:on-check-success
Auto-merge on passed checks
auto-merge-method:merge
Auto-merge with merge commit
#8
opened Jan 20, 2021 by
atomist
bot
Loading…
Update Prettier configuration
auto-merge:on-check-success
Auto-merge on passed checks
auto-merge-method:merge
Auto-merge with merge commit
#7
opened Jan 20, 2021 by
atomist
bot
Loading…
Restyle Update index.html
auto-branch-delete:on-close
Delete branch when pull request gets closed
auto-branch-delete:on-merge
Delete branch when pull request gets merged
auto-merge:on-approve
Auto-merge on review approvals
auto-merge-method:merge
Auto-merge with merge commit
#6
opened Aug 10, 2020 by
restyled-io
bot
Loading…
Update index.html
auto-branch-delete:on-close
Delete branch when pull request gets closed
auto-branch-delete:on-merge
Delete branch when pull request gets merged
auto-merge:on-approve
Auto-merge on review approvals
auto-merge-method:merge
Auto-merge with merge commit
Restyle Update _webpushr.js
auto-branch-delete:on-close
Delete branch when pull request gets closed
auto-branch-delete:on-merge
Delete branch when pull request gets merged
auto-merge:on-approve
Auto-merge on review approvals
auto-merge-method:merge
Auto-merge with merge commit
#4
opened Aug 10, 2020 by
restyled-io
bot
Loading…
Update _webpushr.js
auto-branch-delete:on-close
Delete branch when pull request gets closed
auto-branch-delete:on-merge
Delete branch when pull request gets merged
auto-merge:on-approve
Auto-merge on review approvals
auto-merge-method:merge
Auto-merge with merge commit
#3
opened Aug 10, 2020 by
sa-tasche
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.