Skip to content

Pull requests: coder/code-server-aur

New pull request New
Clear current search query, filters, and sorts
2 Open 18 Closed
2 Open 18 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

chore: bump version to 4.98.2
#65 by cdrci was closed Apr 8, 2025 Loading… updated Apr 8, 2025
@code-asher
chore: bump version to
#25 by cdrci was merged Dec 16, 2022 Loading… updated Dec 16, 2022
@jsjoeio
chore: bump version to 4.9.0
#24 by cdrci was merged Dec 6, 2022 Loading… updated Dec 6, 2022
@jsjoeio
chore: bump version to 4.8.3
#23 by cdrci was merged Nov 7, 2022 Loading… updated Nov 7, 2022
@jsjoeio
chore: bump version to 4.8.2
#22 by cdrci was merged Nov 2, 2022 Loading… updated Nov 2, 2022
@jsjoeio
chore: bump version to 4.8.1
#21 by cdrci was merged Oct 28, 2022 Loading… updated Oct 28, 2022
@jsjoeio
chore: bump version to 4.8.0
#20 by cdrci was merged Oct 25, 2022 Loading… updated Oct 25, 2022
@jsjoeio
chore: bump version to 4.7.1
#19 by cdrci was merged Sep 30, 2022 Loading… updated Sep 30, 2022
@jsjoeio
chore: bump version to 4.7.0
#18 by cdrci was merged Sep 9, 2022 Loading… updated Sep 9, 2022
@jsjoeio
chore: bump version to 4.6.1
#17 by cdrci was merged Aug 31, 2022 Loading… updated Aug 31, 2022
@jsjoeio
wo
#15 by jsjoeio was closed Aug 19, 2022 Loading… updated Aug 19, 2022
3
test commit
#10 by cdrci was closed Aug 18, 2022 Loading… updated Aug 18, 2022
chore: bump version to 4.5.2
#12 by cdrci was merged Aug 16, 2022 Loading… updated Aug 16, 2022
@jsjoeio
test commit
#9 by jsjoeio was closed Aug 16, 2022 Loading… updated Aug 16, 2022
1
feat: update to 3.9.3
#7 by jsjoeio was merged Apr 8, 2021 Loading… updated Apr 8, 2021
@jsjoeio
release: 3.9.2
#6 by jsjoeio was merged Mar 26, 2021 Loading… updated Mar 26, 2021
@jsjoeio
v3.9.0
#4 by TobiaszCudnik was closed Mar 26, 2021 Loading… updated Mar 26, 2021
v3.4.0
#3 by nhooyr was merged May 28, 2020 Loading… updated May 28, 2020
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.