archive-gh-me/gitpod
1
0
Fork 0
mirror of https://github.com/gitpod-io/gitpod.git synced 2025-12-08 17:36:30 +00:00
Code Issues Projects Releases Wiki Activity
9,601 Commits 1,231 Branches 1,883 Tags
Commit Graph

2 Commits

Author SHA1 Message Date
Manuel Alejandro de Brito Fontes
526c95e344 Decouple ws-proxy from ws-manager 2021-11-05 10:33:03 +01:00
Christian Weichel
6b61df4f29 [ws-proxy] Forward cookies with invalid names 
fixes #2470
 2020-12-09 15:05:26 +01:00