Create your own GitHub profile
1,191 contributions in the last year
Created a pull request in dragonfly/dragonfly that received 4 comments
This is just a quick fix for now to expose the number of workers in the in code API. I guess the proper fix would be to use the options to set this.