Skip to content

Pull requests: mitgedanken/mitgedanken.github.io

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
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
#5 opened Aug 10, 2020 by sa-tasche Draft
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! Type g i on any issue or pull request to go back to the issue listing page.