profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/mattpolzin/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Mathew Polzin mattpolzin @opallabs Pullman, WA

idris-lang/Idris2 1355

A purely functional programming language with first class types

mattpolzin/idv 6

Idris Version Manager

mattpolzin/authenticated_data 5

Playing with authenticated data structures

mattpolzin/harmony 4

Harmonize with coworkers around GitHub reviewing.

mattpolzin/idris-fvect 2

A Fin-based Vect (can be thought of as having both a current length and maximum capacity)

mattpolzin/ajv 1

The fastest JSON Schema Validator. Supports draft-04/06/07

mattpolzin/auth 1

👤 Authentication and Authorization framework for Fluent.

mattpolzin/FileCheck 1

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.

mattpolzin/FootlessParser 1

A simple parser combinator written in Swift

delete branch mattpolzin/harmony

delete branch : grabbing-more-pr-info

delete time in a day

push eventmattpolzin/harmony

Mathew Polzin

commit sha 7a82e4e456fc975bb7811a5f846368112f91c543

grab author & pull number & reviewers for each PR so we have more options down the road.

view details

Mathew Polzin

commit sha ad7fae9374692d31a60c8dfd914c47ff6626e005

Merge branch 'main' into grabbing-more-pr-info

view details

Mathew Polzin

commit sha d8b7ac3e3c2e12c865c0068cf600dbf04d8c370d

finish pr parsing code. add function that gets authed user. graph data for self.

view details

Mathew Polzin

commit sha 704c855a8631036ed0a4464c6c8d17851d0f82f7

fix call to retrieve authed user. make graph of authed user's pr activity a bit cleaner.

view details

Mathew Polzin

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.

view details

Mathew Polzin

commit sha c3bcb167d97b707d800495a1665be862e78a658f

finish adding reflect command by including in bash completion.

view details

Mathew Polzin

commit sha 14af42bde82d78ef0725161fcf73e3dec04d2bb1

Merge pull request #22 from mattpolzin/grabbing-more-pr-info Grabbing more pr info

view details

push time in a day

PR merged mattpolzin/harmony

Grabbing more pr info

Closes https://github.com/mattpolzin/harmony/issues/17. Closes https://github.com/mattpolzin/harmony/issues/18.

+380 -113

0 comment

11 changed files

mattpolzin

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

Mathew Polzin

commit sha c3bcb167d97b707d800495a1665be862e78a658f

finish adding reflect command by including in bash completion.

view details

push time in a day

PR opened mattpolzin/harmony

Grabbing more pr info

Closes https://github.com/mattpolzin/harmony/issues/17. Closes https://github.com/mattpolzin/harmony/issues/18.

+367 -104

0 comment

9 changed files

pr created time in a day

push eventmattpolzin/harmony

Mathew Polzin

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.

view details

push time in a day

push eventmattpolzin/idris-docker

Mathew Polzin

commit sha 04612dccfa1b880680cc3dd6bea998c71f79eec7

Update README.md

view details

push time in 3 days

push eventmattpolzin/harmony

Mathew Polzin

commit sha d8b7ac3e3c2e12c865c0068cf600dbf04d8c370d

finish pr parsing code. add function that gets authed user. graph data for self.

view details

Mathew Polzin

commit sha 704c855a8631036ed0a4464c6c8d17851d0f82f7

fix call to retrieve authed user. make graph of authed user's pr activity a bit cleaner.

view details

push time in 3 days

push eventmattpolzin/idris-docker

Mathew Polzin

commit sha 0983a40d249c91e5fd4228ab9ae6ffa5a5a25e32

update before installing git.

view details

push time in 3 days

push eventmattpolzin/harmony

Mathew Polzin

commit sha 1a1f3d22e10a1b07bed736cfa117552ddf3f62a7

try fixing deps installation by updating apt.

view details

Mathew Polzin

commit sha ad7fae9374692d31a60c8dfd914c47ff6626e005

Merge branch 'main' into grabbing-more-pr-info

view details

push time in 3 days

push eventmattpolzin/harmony

Mathew Polzin

commit sha 1a1f3d22e10a1b07bed736cfa117552ddf3f62a7

try fixing deps installation by updating apt.

view details

push time in 3 days

create barnchmattpolzin/harmony

branch : grabbing-more-pr-info

created branch time in 3 days

issue commentmattpolzin/VaporOpenAPI

Header requirements

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).

GiacomoLeopizzi

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

PullRequestReviewEvent
PullRequestReviewEvent

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.

Russoul

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.

Russoul

comment created time in 5 days

push eventmattpolzin/pg-idris

Mathew Polzin

commit sha 1cd33a7724f82a01b923e1ebb2c84874bc01a54a

tell pg-idris tests to find postgres at its host name instead of localhost.

view details

push time in 5 days

push eventmattpolzin/pg-idris

Mathew Polzin

commit sha b8aec8676d795763c0dab62308f5e4b065c66293

see if repo update makes libpq-dev available.

view details

push time in 5 days

push eventmattpolzin/pg-idris

Mathew Polzin

commit sha 935c2463c930171de9d5137820120641beedcb42

switch to idris docker image and turn nightly builds on.

view details

push time in 5 days

push eventmattpolzin/harmony

Mathew Polzin

commit sha 65ad5eb46dc11eba0af86c15b4b6b1d2a270f795

Update README.md

view details

push time in 5 days

release mattpolzin/harmony

0.1.0

released time in 5 days

created tagmattpolzin/harmony

tag0.1.0

Harmonize with coworkers around GitHub reviewing.

created time in 5 days

delete branch mattpolzin/harmony

delete branch : release/0.1.0

delete time in 5 days

push eventmattpolzin/harmony

Mathew Polzin

commit sha 024d7d952bbb6d9260be8eb6336efcb1da67618e

make changes for first pre-release.

view details

Mathew Polzin

commit sha d8f6a70d2ffd0a1d7d837c14b7376b4c0ff1d034

Add make step that packages the npm artifacts.

view details

Mathew Polzin

commit sha 887e69a8387a712c89c4b8b548e85e76b6c95664

Merge pull request #21 from mattpolzin/release/0.1.0 make changes for first pre-release.

view details

push time in 5 days