Skip to content

Pull requests: is-a-dev/is-a-dev.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

harys722
#23 by harys722 was merged Sep 9, 2025 Loading…
feat: add taken webpage
#22 by orangci was merged Apr 17, 2025 Loading…
feat: link these subpages with the main site's stylesheet
#20 by orangci was merged Mar 13, 2025 Loading…
Add selection styles
#19 by JustDeveloper1 was merged Mar 8, 2025 Loading…
Add Search Bar
#17 by STICKnoLOGIC was merged Mar 6, 2025 Loading…
new website :)
#16 by DevMatei was closed Jan 20, 2025 Loading…
Slight Good Changes
#15 by ukriu was closed Mar 15, 2024 Loading…
Updates
#14 by L7NEG was merged Dec 26, 2023 Loading…
404 Page
#13 by L7NEG was merged Dec 23, 2023 Loading…
Add analytics
#12 by is-a-dev-bot was merged Sep 10, 2023 Loading…
I rethemed the website a bit
#11 by TheRedXD was merged Sep 10, 2023 Loading…
add discord and register redirects
#9 by wdhdev was closed Jan 16, 2023 Loading…
add discord and register redirects
#8 by WDH-2 was closed Dec 31, 2022 Loading…
A few changes
#7 by wdhdev was merged Jun 29, 2022 Loading…
Grammar
#6 by wdhdev was merged Jun 21, 2022 Loading…
Dark theme added
#5 by mrloldev was closed May 6, 2022 Loading…
backup domain
#4 by roramigator was merged Sep 7, 2021 Loading…
fetch registered domains enhancement New feature or request
#2 by gkucmierz was closed Oct 16, 2020 Loading…
ProTip! Filter pull requests by the default branch with base:main.