Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pinsis-dev
pinsis-portal
Merge requests
Open
1
Merged
117
Closed
27
All
145
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
Priority
Created date
Updated date
Milestone due date
Popularity
Label priority
Merged date
Closed date
Title
atualizado pro dia 02/04/2020, e adicionado algumas pequenas mudanças estéticas
!136
· created
Apr 03, 2020
by
Arthur Martinelli
MERGED
0
updated
Apr 06, 2020
Arrumando graficos
!143
· created
Oct 28, 2020
by
Arthur Martinelli
MERGED
0
updated
Oct 29, 2020
add images to machines page
!76
· created
Jan 15, 2020
by
Arthur Martinelli
v1.0.1-3
MERGED
0
updated
Jan 15, 2020
added routes to edit machine and register machine and fixed some front end bugs
!65
· created
Dec 18, 2019
by
Dante Aléo
MERGED
0
updated
Dec 18, 2019
add button to corona page
!130
· created
Mar 26, 2020
by
Bruna Cruz
MERGED
0
updated
Mar 26, 2020
Prev
1
…
4
5
6
7
8
Next