Skip to content

Pull requests: devcontainers/devcontainers.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
Assigned to nobody Loading
Sort

Pull requests list

Update spec.md
#14 by Brigit Murtaugh (bamurtaugh) Member was merged Jun 24, 2022 Loading…
Update contributing.md
#13 by Brigit Murtaugh (bamurtaugh) Member was merged Jun 24, 2022 Loading…
Add CI info
#12 by Brigit Murtaugh (bamurtaugh) Member was merged Jun 22, 2022 Loading…
Update spec.md
#11 by Brigit Murtaugh (bamurtaugh) Member was merged Jun 20, 2022 Loading…
Add even more padding to h1 links
#9 by Raymond Zhao (rzhao271) Contributor was merged Jun 8, 2022 Loading…
Add padding to various elements
#8 by Raymond Zhao (rzhao271) Contributor was merged Jun 7, 2022 Loading…
adding devcontainers logo
#7 by Samruddhi Khandale (samruddhikhandale) Member was merged Jun 1, 2022 Loading…
Update links and headers
#6 by Brigit Murtaugh (bamurtaugh) Member was merged Jun 6, 2022 Loading…
Update based on latest spec
#5 by Brigit Murtaugh (bamurtaugh) Member was merged May 26, 2022 Loading…
Update reference implementation info
#4 by Brigit Murtaugh (bamurtaugh) Member was merged May 24, 2022 Loading…
Fix broken link to devcontainers website in Readme
#3 by Shawn McLaughlin (shawnmcla) Contributor was merged Jun 7, 2022 Loading…
Update broken URLs
#2 by Stuart Leeks (stuartleeks) Contributor was merged Jun 7, 2022 Loading…
Add dev container and readme
#1 by Brigit Murtaugh (bamurtaugh) Member was merged Apr 15, 2022 Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.