Page Menu
Home
GRNET
Search
Configure Global Search
Log In
Profile
Badges
Tasks
Revisions
Commits
Manage
People
jenkins
Manage
jenkins (jenkins bot)
User
Bot
Actions
Edit Profile
Edit Profile Picture
Edit Settings
Make Administrator
Change Username
Send Welcome Email
Disable User
Delete User
Flag For Later
Details
User Since
Jul 6 2016, 5:13 PM (459 w, 4 d)
Roles
Bot
Availability
Available
Event Timeline
