Skip to content
This repository has been archived by the owner on Sep 19, 2024. It is now read-only.

Explicitly state what the permits are for #600

Closed
0x4007 opened this issue Aug 10, 2023 · 5 comments · Fixed by #545
Closed

Explicitly state what the permits are for #600

0x4007 opened this issue Aug 10, 2023 · 5 comments · Fixed by #545

Comments

@0x4007
Copy link
Member

0x4007 commented Aug 10, 2023

It could be nice to explicitly state what the permits are for, eventually. A task for another day.

Originally posted by @pavlovcik in #545 (comment)

@whilefoo
Copy link
Collaborator

This will be done by #545 so we can close this

@0x4007 0x4007 mentioned this issue Aug 17, 2023
@0x4007
Copy link
Member Author

0x4007 commented Aug 20, 2023

I guess technically we should have separate pull requests per solved issue but I understand that we're rushing to get that one closed out already, and I guess the delay is more on the review team's part?

@0x4007 0x4007 linked a pull request Aug 20, 2023 that will close this issue
@ubiquibot
Copy link

ubiquibot bot commented Aug 22, 2023

Permit generation skipped since assignee is undefined

If you enjoy the DevPool experience, please follow Ubiquity on GitHub and star this repo to show your support. It helps a lot!

@ubiquibot
Copy link

ubiquibot bot commented Aug 22, 2023

@whilefoo The time limit for this bounty is on Tue, 22 Aug 2023 15:57:45 UTC

@0x4007 0x4007 reopened this Aug 22, 2023
@0x4007 0x4007 closed this as completed Aug 22, 2023
@ubiquibot ubiquibot bot added the Permitted label Aug 22, 2023
@ubiquibot
Copy link

ubiquibot bot commented Aug 22, 2023

[ CLAIM 18.75 WXDAI ]

0xA0B11F474...8917675d60

If you enjoy the DevPool experience, please follow Ubiquity on GitHub and star this repo to show your support. It helps a lot!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants