Skip to content
GitLab
Explore
Sign in
World
Podcasts
Merge requests
Open
0
Merged
7
Closed
0
All
7
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
episode_description: add episode_specific cover.
!242
· created
Jul 21, 2023
by
nee
0.7
Feature
Needs Design
Merged
Approved
28
updated
Mar 03, 2024
player: use a homogeneous stack for each play/pause button pair.
!335
· created
Mar 30, 2024
by
nee
0.7
Merged
Approved
0
updated
Apr 02, 2024
episode_description: move download/stream/play buttons down a row.
!337
· created
Apr 01, 2024
by
nee
0.7
Merged
1
updated
Apr 06, 2024
discovery: Show an error when no search provider was selected.
!336
· created
Apr 01, 2024
by
nee
0.7
Merged
Approved
4
updated
Apr 09, 2024
empty_show: wrap labels, so they fit on a 360px mobile screen.
!342
· created
Apr 09, 2024
by
nee
0.7
Merged
Approved
1
updated
Apr 09, 2024
feed_manager: add a locked feed refresh manager
!332
· created
Mar 22, 2024
by
nee
0.7
Merged
28
updated
Apr 19, 2024
discovery: add a spinner on the search result subscribe button.
!345
· created
Apr 19, 2024
by
nee
0.7
Merged
1
updated
Apr 19, 2024