-
Gitpod
- Kiel, Germany
- http://gitpod.io
- @svenefftinge
Block or Report
Block or report svenefftinge
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
gitpod-io/gitpod
gitpod-io/gitpod PublicThe developer platform for on-demand cloud development environments to create software faster and more securely.
-
gitpod-io/workspace-images
gitpod-io/workspace-images PublicReady to use docker images for Gitpod workspaces
1,145 contributions in the last year
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
gitpod-io/gitpod,
gitpod-io/browser-extension,
svenefftinge/gitpod-langchain
and 16 other
repositories
Contribution activity
March 2024
Created 4 commits in 1 repository
Created a pull request in gitpod-io/gitpod that received 1 comment
[server] increase content deletion chunk
Description Increases the amount of workspaces for content deletion from 100 (takes less than a minute in prod) to 3000 (should take around 15min).…
+1
−1
lines changed
•
1
comment
Opened 4 other pull requests in 1 repository
gitpod-io/gitpod
3
merged
1
closed
-
[dashboard] update login screen and autostart
This contribution was made on Mar 15
-
[server] reduce false positive alerting
This contribution was made on Mar 13
-
improve grafana query
This contribution was made on Mar 12
-
Increase frequency of the gc job
This contribution was made on Mar 7
Reviewed 6 pull requests in 2 repositories
gitpod-io/gitpod
5 pull requests
-
Include user ID in
ListAuthProviderDescriptionsRequest
's query keyThis contribution was made on Mar 18 -
Fix configuration input with preset value
This contribution was made on Mar 15
-
[server] reduce false positive alerting
This contribution was made on Mar 13
-
Fix handling multiple repos with same context URL
This contribution was made on Mar 11
-
Add pin editor version
This contribution was made on Mar 6
gitpod-io/browser-extension
1 pull request
-
Allow
gitpod://
This contribution was made on Mar 6
27
contributions
in private repositories
Mar 1 – Mar 18