Skip to content

Pull requests: arduino/arduino-ide

New pull request New
Clear current search query, filters, and sorts
1 Open 44 Closed
1 Open 44 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

Update translation files topic: code Related to content of the project itself type: enhancement Proposed improvement
#630 by github-actions bot was closed Nov 23, 2021 Loading…
1
Update translation files
#638 by github-actions bot was merged Dec 13, 2021 Loading…
Update translation files topic: code Related to content of the project itself type: enhancement Proposed improvement
#705 by github-actions bot was merged Dec 22, 2021 Loading…
@fstasi
Update translation files topic: code Related to content of the project itself type: enhancement Proposed improvement
#723 by github-actions bot was merged Jan 13, 2022 Loading…
@fstasi
Update translation files
#768 by github-actions bot was merged Apr 4, 2022 Loading…
Update translation files
#950 by github-actions bot was merged Apr 12, 2022 Loading…
Update translation files
#959 by github-actions bot was merged Apr 19, 2022 Loading…
Update translation files
#968 by github-actions bot was merged Apr 29, 2022 Loading…
Update translation files
#974 by github-actions bot was merged Jun 7, 2022 Loading…
Update themes conclusion: invalid Issue/PR not valid topic: theme Related to GUI theming
#1033 by github-actions bot was closed Jun 10, 2022 Loading…
1
Update translation files
#1052 by github-actions bot was merged Jul 7, 2022 Loading…
Update themes conclusion: invalid Issue/PR not valid topic: theme Related to GUI theming
#1069 by github-actions bot was closed Jun 17, 2022 Loading…
1
Update themes conclusion: invalid Issue/PR not valid topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement
#1109 by github-actions bot was closed Jun 28, 2022 Loading…
@91volt
1
Update themes topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement
#1125 by github-actions bot was merged Jun 28, 2022 Loading…
1
Update themes topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement
#1141 by github-actions bot was merged Jul 4, 2022 Loading…
Update themes topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement
#1145 by github-actions bot was merged Jul 4, 2022 Loading…
1
Update themes topic: theme Related to GUI theming
#1149 by github-actions bot was merged Jul 5, 2022 Loading…
Update themes conclusion: duplicate Has already been submitted topic: theme Related to GUI theming
#1155 by github-actions bot was closed Jul 8, 2022 Loading…
1
Update translation files type: enhancement Proposed improvement
#1164 by github-actions bot was merged Jul 14, 2022 Loading…
Update themes topic: theme Related to GUI theming
#1187 by github-actions bot was merged Jul 15, 2022 Loading…
4
Update themes conclusion: duplicate Has already been submitted topic: theme Related to GUI theming
#1195 by github-actions bot was closed Jul 15, 2022 Loading…
1
Update translation files topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#1201 by github-actions bot was merged Jul 20, 2022 Loading…
Update themes topic: theme Related to GUI theming
#1203 by github-actions bot was merged Jul 18, 2022 Loading…
Update translation files type: enhancement Proposed improvement
#1249 by github-actions bot was merged Jul 29, 2022 Loading…
Update translation files
#1269 by github-actions bot was merged Aug 1, 2022 Loading…
ProTip! no:milestone will show everything without a milestone.