Skip to content

Conversation

jneira
Copy link
Member

@jneira jneira commented Aug 2, 2021

@jneira
Copy link
Member Author

jneira commented Aug 2, 2021

github noted when adding the yaml file: Please note that funding links are currently disabled on this repository. Visit repository settings to enable display of your funding links.
will do if the pr is merged

Co-authored-by: Pepe Iborra <[email protected]>
@jneira jneira added the merge me Label to trigger pull request merge label Aug 2, 2021
@mergify mergify bot merged commit 0a6c872 into master Aug 2, 2021
berberman added a commit that referenced this pull request Aug 3, 2021
berberman added a commit that referenced this pull request Aug 3, 2021
berberman added a commit that referenced this pull request Aug 5, 2021
* Update nix flake

* Fix missing ghc-api-compat in hiedb

* unrelated: Update paths_ignore for #2063

Co-authored-by: Junyoung "Clare" Jang <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add FUNDING file to link to OpenCollective
2 participants