Skip to content
GitLab
Explore
Sign in
Register
Open
2
Merged
212
Closed
23
All
237
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Merge in devel
!38
· created
Jul 11, 2018
by
Oliver Falk
Merged
updated
Jul 11, 2018
Merge in latest devel
!37
· created
Jul 11, 2018
by
Oliver Falk
Merged
updated
Jul 11, 2018
Postgresql fixes
!36
· created
Jul 10, 2018
by (deleted)
Merged
4
1
updated
Jul 10, 2018
clime theme added
!35
· created
Jul 09, 2018
by (deleted)
Merged
updated
Jul 09, 2018
Handle size parameter and correct behaviour with non existing OpenID/Email (return default)
!34
· created
Jul 09, 2018
by
Oliver Falk
Merged
updated
Jul 09, 2018
Bootstrap navbar and Line Awesome
!33
· created
Jul 09, 2018
by
Oliver Falk
Bootstrap Menu
Merged
updated
Jul 09, 2018
Fix userpreferences
!32
· created
Jul 09, 2018
by (deleted)
Merged
updated
Jul 09, 2018
fix position of bootstrap4_extra_head
!31
· created
Jul 09, 2018
by (deleted)
Merged
updated
Jul 09, 2018
Do not set width, since this clashes on mobile (and outer div)
!30
· created
Jul 09, 2018
by
Oliver Falk
Merged
updated
Jul 09, 2018
max-width, instead of width
!29
· created
Jul 05, 2018
by
Oliver Falk
Merged
updated
Jul 05, 2018
Avoid mixed-content warning and only display secure content if serving via https
!28
· created
Jul 05, 2018
by
Oliver Falk
Merged
updated
Jul 05, 2018
Merge tools into master
!27
· created
Jul 05, 2018
by
Oliver Falk
Merged
updated
Jul 05, 2018
Merge in tools branch
!26
· created
Jul 05, 2018
by
Oliver Falk
Closed
updated
Jul 05, 2018
Feature: Userpreferences
!24
· created
Jul 05, 2018
by
Oliver Falk
Merged
updated
Jul 05, 2018
Merge in devel branch
!23
· created
Jul 05, 2018
by
Oliver Falk
Merged
updated
Jul 05, 2018
Merge in tools and lint via devel
!22
· created
Jul 03, 2018
by
Oliver Falk
Merged
updated
Jul 03, 2018
Devel
!21
· created
Jul 03, 2018
by
Oliver Falk
Closed
updated
Jul 03, 2018
Make tools stuff nicer
!20
· created
Jul 03, 2018
by
Oliver Falk
Closed
updated
Jul 03, 2018
Make lint happy
!19
· created
Jul 03, 2018
by
Oliver Falk
Closed
updated
Jul 03, 2018
First tool: Check OpenID/mail
!18
· created
Jul 03, 2018
by
Oliver Falk
Merged
updated
Jul 03, 2018
Prev
1
…
7
8
9
10
11
12
Next