Skip to content

pr up to date#3

Merged
devagul93 merged 90 commits intodevagul93:masterfrom
devhubapp:master
Jun 20, 2019
Merged

pr up to date#3
devagul93 merged 90 commits intodevagul93:masterfrom
devhubapp:master

Conversation

@devagul93
Copy link
Copy Markdown
Owner

No description provided.

brunolemos added 30 commits May 31, 2019 14:47
Preparation for next commit
Show two colors to give a nice visual effect
Stop using StyleSheet.hairlineWidth
Make "Try again" button refetch new installation tokens

Check for expired tokens every 5 minutes, refetch if found any
Allow re-fetching if 1 minute has passed
Maybe the item got removed or something like that. Prevent from getting stuck.
Maybe this way taprelease will work?
If there is a cleaner way to do this please let me know
Message about private repositories
Stop using muted opacity
Fix cached tsc build errors
Fix invalid slack invite link
…d word search support!)

If the column is of the Issues or PRs type, you can use any of the GitHub Advanced Search prefixes in your filter

#131
New feature: Text search with support for label:xxx, is:bot, negations and more
@devagul93 devagul93 merged commit ffc371d into devagul93:master Jun 20, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants