Skip to content
GitLab
Explore
Sign in
minerva
core
Merge requests
Open
1
Merged
196
Closed
14
All
211
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
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Title
Resolve "add check for available HDD space when uploading map/file to prevent running out of space"
!1388
· created
Nov 11, 2021
by
Piotr Gawron
v16.1.0~beta.0
enhancement
Merged
0
updated
Nov 11, 2021
Resolve "add center button on the map"
!196
· created
Feb 14, 2018
by
Piotr Gawron
v12.0.0
enhancement
Merged
0
updated
Feb 14, 2018
Resolve "Add BioKC identifiers.org type"
!1623
· created
Dec 07, 2023
by
Piotr Gawron
v16.3.0~beta.2
devel_16.3.x
enhancement
Merged
0
updated
Dec 07, 2023
Resolve "add additional miriam types"
!228
· created
Mar 19, 2018
by
Piotr Gawron
v12.0.0
enhancement
Merged
0
updated
Mar 19, 2018
Resolve "A confirmation before removing an overlay in admin panel"
!809
· created
Jun 07, 2019
by
Piotr Gawron
v14.0.0~alpha.0
enhancement
Merged
0
updated
Jun 07, 2019
Resolve "Account request - prefilled text"
!194
· created
Feb 13, 2018
by
Piotr Gawron
v12.0.0
enhancement
Merged
0
updated
Feb 13, 2018
Resolve "access to db.properties file"
!1352
· created
Sep 21, 2021
by
Piotr Gawron
v16.1.0~beta.0
enhancement
Merged
0
updated
Sep 21, 2021
release 16.2.0
!1501
· created
May 31, 2022
by
Piotr Gawron
v16.2.0
devel_16.2.x
enhancement
Merged
0
updated
May 31, 2022
password is not send over API
!697
· created
Mar 11, 2019
by
Piotr Gawron
v13.1.0~beta.0
BUG
enhancement
Merged
0
updated
Mar 11, 2019
info about hypothetical and activity status added to REST API
!1252
· created
Oct 22, 2020
by
Piotr Gawron
v15.1.0
devel_15.1.x
CellDesigner
Rest API
enhancement
Merged
0
updated
Oct 22, 2020
fresh install of debian package uses flyway
!368
· created
Jul 31, 2018
by
Piotr Gawron
v12.1.0
enhancement
Merged
0
updated
Jul 31, 2018
fix gitlab jobs
!872
· created
Aug 12, 2019
by
Piotr Gawron
v14.0.0~alpha.1
enhancement
Merged
0
updated
Aug 12, 2019
clear previous comment dialog before opening
!631
· created
Feb 08, 2019
by
Sascha Herzinger
v13.1.0~beta.0
enhancement
Merged
2
updated
Feb 08, 2019
changelog update
!1583
· created
Sep 15, 2023
by
Piotr Gawron
v16.3.0~beta.0
devel_16.3.x
enhancement
Merged
0
updated
Sep 20, 2023
bump of molart
!922
· created
Aug 29, 2019
by
Piotr Gawron
v13.2.0
devel_13.2.x
enhancement
Merged
0
updated
Aug 29, 2019
Adding user name next to logout button
!612
· created
Feb 05, 2019
by
Sascha Herzinger
v13.1.0~beta.0
enhancement
Merged
0
updated
Feb 06, 2019
Prev
1
…
6
7
8
9
10
Next