idris-lang/Idris2 1355
A purely functional programming language with first class types
Idris Version Manager
mattpolzin/authenticated_data 5
Playing with authenticated data structures
Harmonize with coworkers around GitHub reviewing.
A Fin-based Vect (can be thought of as having both a current length and maximum capacity)
The fastest JSON Schema Validator. Supports draft-04/06/07
👤 Authentication and Authorization framework for Fluent.
A standalone Swift version of LLVM's flexible pattern matching file verifier
mattpolzin/fluent-postgresql 1
🖋🐘 Swift ORM (queries, models, relations, etc) built on PostgreSQL.
A simple parser combinator written in Swift
push eventmattpolzin/harmony
commit sha 7a82e4e456fc975bb7811a5f846368112f91c543
grab author & pull number & reviewers for each PR so we have more options down the road.
commit sha ad7fae9374692d31a60c8dfd914c47ff6626e005
Merge branch 'main' into grabbing-more-pr-info
commit sha d8b7ac3e3c2e12c865c0068cf600dbf04d8c370d
finish pr parsing code. add function that gets authed user. graph data for self.
commit sha 704c855a8631036ed0a4464c6c8d17851d0f82f7
fix call to retrieve authed user. make graph of authed user's pr activity a bit cleaner.
commit sha 4c02d1d612ab2ca72a2242d37de7a46a991100cb
move error output to stderr, support help option prior to having a GitHub PAT, move reflect feature to a new module and really get going on it.
commit sha c3bcb167d97b707d800495a1665be862e78a658f
finish adding reflect command by including in bash completion.
commit sha 14af42bde82d78ef0725161fcf73e3dec04d2bb1
Merge pull request #22 from mattpolzin/grabbing-more-pr-info Grabbing more pr info
push time in a day
PR merged mattpolzin/harmony
Closes https://github.com/mattpolzin/harmony/issues/17. Closes https://github.com/mattpolzin/harmony/issues/18.
pr closed time in a day
issue closedmattpolzin/harmony
Add sub command that show authed user’s info
View that shows some information about the current user. Number of open review requests, number of open PRs, etc
closed time in a day
mattpolzin
issue closedmattpolzin/harmony
Instead of just review counts, break down PRs into reviewers & authors.
Count both authored and review requested PRs. Not entirely sure how to incorporate authored counts into harmony's heuristic for review assignment, but harmon can definitely show some informative data under the graph command by showing authored counts as well as review request counts.
Equally as important, this is maybe a good time to switch from requesting open and closed PRs in separate http requests to instead making 1 request and passing whether the PR is open or closed back to Idris.
In other words, Idris will go from aggregating reviewers for open PRs and then closed PRs to aggregating reviewers, authors, and open/closed state across all PRs with a single HTTP request.
closed time in a day
mattpolzin
push eventmattpolzin/harmony
commit sha c3bcb167d97b707d800495a1665be862e78a658f
finish adding reflect command by including in bash completion.
push time in a day
PR opened mattpolzin/harmony
Closes https://github.com/mattpolzin/harmony/issues/17. Closes https://github.com/mattpolzin/harmony/issues/18.
pr created time in a day
push eventmattpolzin/harmony
commit sha 4c02d1d612ab2ca72a2242d37de7a46a991100cb
move error output to stderr, support help option prior to having a GitHub PAT, move reflect feature to a new module and really get going on it.
push time in a day
push eventmattpolzin/idris-docker
commit sha 04612dccfa1b880680cc3dd6bea998c71f79eec7
Update README.md
push time in 3 days
push eventmattpolzin/harmony
commit sha d8b7ac3e3c2e12c865c0068cf600dbf04d8c370d
finish pr parsing code. add function that gets authed user. graph data for self.
commit sha 704c855a8631036ed0a4464c6c8d17851d0f82f7
fix call to retrieve authed user. make graph of authed user's pr activity a bit cleaner.
push time in 3 days
push eventmattpolzin/idris-docker
commit sha 0983a40d249c91e5fd4228ab9ae6ffa5a5a25e32
update before installing git.
push time in 3 days
push eventmattpolzin/harmony
commit sha 1a1f3d22e10a1b07bed736cfa117552ddf3f62a7
try fixing deps installation by updating apt.
commit sha ad7fae9374692d31a60c8dfd914c47ff6626e005
Merge branch 'main' into grabbing-more-pr-info
push time in 3 days
push eventmattpolzin/harmony
commit sha 1a1f3d22e10a1b07bed736cfa117552ddf3f62a7
try fixing deps installation by updating apt.
push time in 3 days
issue commentmattpolzin/VaporOpenAPI
I never did get around to adding header support to this library. OpenAPIKit supports header parameters, there just isn't any code in VaporOpenAPI that generates them.
The code would probably go here: https://github.com/mattpolzin/VaporOpenAPI/blob/main/Sources/VaporOpenAPI/VaporRoute%2BOpenAPI.swift#L120..L121
Headers are parameters in OpenAPI just like query & path but with the location of .header.
It would be cool to grab header information from Vapor or from VaporTypedRoutes, but you could also probably provide yourself a hook to inject headers from the side (less elegant, but less code).
comment created time in 3 days
issue openedgarden-io/garden
[FEATURE]: Configurable service health check period
Feature Request
Background / Motivation
Healthchecks can be quite noisy; I would like to be able to configure them to occur less frequently (ideally specifically in dev mode, but in general I think it is a useful knob to be able to turn).
What should the user be able to do?
Specify the period of recurring health checks in the Garden config YAML.
How important is this feature for you/your team?
🌹 It’s a nice to have, but nice things are nice 🙂
created time in 4 days
startedgarden-io/garden
started time in 4 days
pull request commentidris-lang/Idris2
Thread the option of silencing output to stdout
I can give this PR a go with the idris2-vim since that's what I use. At a glance it appears to use --client actually so maybe I was misremembering.
comment created time in 5 days
pull request commentidris-lang/Idris2
Thread the option of silencing output to stdout
I think changing the quietness of --exec will affect or break the non-LSP idris2 mode for vim. I am not sure that's a good reason not to do this, just a consideration. Idris2 mode could be updated, or explicitly deprecated in favor of LSP, but its currently still my daily driver because I have not found the motivation to set the LSP server up yet.
comment created time in 5 days
push eventmattpolzin/pg-idris
commit sha 1cd33a7724f82a01b923e1ebb2c84874bc01a54a
tell pg-idris tests to find postgres at its host name instead of localhost.
push time in 5 days
push eventmattpolzin/pg-idris
commit sha b8aec8676d795763c0dab62308f5e4b065c66293
see if repo update makes libpq-dev available.
push time in 5 days
push eventmattpolzin/pg-idris
commit sha 935c2463c930171de9d5137820120641beedcb42
switch to idris docker image and turn nightly builds on.
push time in 5 days
push eventmattpolzin/harmony
commit sha 65ad5eb46dc11eba0af86c15b4b6b1d2a270f795
Update README.md
push time in 5 days
created tagmattpolzin/harmony
Harmonize with coworkers around GitHub reviewing.
created time in 5 days
push eventmattpolzin/harmony
commit sha 024d7d952bbb6d9260be8eb6336efcb1da67618e
make changes for first pre-release.
commit sha d8f6a70d2ffd0a1d7d837c14b7376b4c0ff1d034
Add make step that packages the npm artifacts.
commit sha 887e69a8387a712c89c4b8b548e85e76b6c95664
Merge pull request #21 from mattpolzin/release/0.1.0 make changes for first pre-release.
push time in 5 days