Skip to content

Pull requests: gitpod-io/community

New pull request New
Clear current search query, filters, and sorts
0 Open 12 Closed
0 Open 12 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

42/Format-community-highlights-2022
#52 by siddarth2810 was merged Nov 6, 2024 Loading…
1
3
Update 2024.md
#51 by pawlean was merged Jan 12, 2024 Loading…
Update README.md
#50 by pawlean was merged Dec 22, 2023 Loading…
Fix Format
#49 by ghostdevv was merged Oct 22, 2023 Loading…
CH 20 October & Add Template to README
#48 by ghostdevv was merged Oct 22, 2023 Loading…
refactor: File tree
#7 by axonasif was merged Aug 1, 2022 Loading…
1
fix: full code url path of Auto Gitpodifyer
#6 by Siddhant-K-code was merged Jan 21, 2022 Loading…
fix: full code url path of Auto Gitpodifyer
#5 by Siddhant-K-code was merged Jan 21, 2022 Loading…
1
feat: update readme with events
#4 by loujaybee was merged Jan 14, 2022 Loading…
Apply suggested changes.
#3 by pauliesnug was merged Jan 21, 2022 Loading…
1
fix: lint github token error
#2 by Siddhant-K-code was merged Jan 10, 2022 Loading…
Minor edits.
#1 by pauliesnug was merged Dec 14, 2021 Loading…
3
ProTip! Add no:assignee to see everything that’s not assigned.