Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Sign up
Pinned repositories
1,192 contributions in the last year
Activity overview
Contributed to
gravitee-io/gravitee-management-rest-api,
gravitee-io/gravitee-management-webui,
gravitee-io/issues
and 5 other
repositories
Contribution activity
September 2018
Created an issue in gravitee-io/issues that received 1 comment
[management][logs] improve filters
To filter logs by application name or plan, we have to use plain text. It could be more easy to choose multiple values in a list of choices. We als…
1
comment
- [policy][api-key] consider null as false for the "propagate api-key" configuration
- [portal] user with no apis see everything
- [management][logs] remove transactionId and requestId
- [portal] unable to reconnect a user after changing the jwtSecret
- [management] Redesign the forms
- [management] remove configuration envvar from the environment gateway screen
- [management][fetcher-gitlab] add v4 support
- [management][message] unable to send messages
- [management][analytics] keep filters between overview and logs
- [reporter][elasticsearch] Configure request timeout and use the pooled buffer
- [management] create empty arrays in policies configuration