Super-productivity: Integration for private github repos

Created on 25 Jun 2018  路  7Comments  路  Source: johannesjo/super-productivity

Your Environment

  • Version used: v1.10.45
  • Operating System and version: ubuntu 16.04
  • Desktop Environment: gnome
  • Browser Name and version: n/a

Expected Behavior

  • Would be great to be able to provide the app with my GitHub credentials to allow it to listen for issues in a private repository

Current Behavior

  • When a private repo is included in the "Git Integration" section of Project Specific Settings, nothing occurs
enhancement help wanted

Most helpful comment

I looked into this and I understand what it needs to be implemented.
The user needs to create an access token in GitHub then input this token in the application.
This token will be used in the HttpHeaders for every request made to the API.

One access token is all that is needed to access all your private repos, but I can think of a reason to have a separate access token for each repo.
@johannesjo I will make a PR for it and let you updated with what I did.

All 7 comments

Thanks for taking your time to post this request. As I don't need the feature myself I probably will only implement this, if there is a "huge" demand (several people requesting the feature should be enough ;)). But feel free to submit a PR. If you need any assistance or have some questions, I gladly help.

Hi. Why was this closed? Was it implemented? Thanks!

No it wasn't. But here hasn't been any activity for quite a long time. If you're interested, I'll gladly reopen it :)

Also this is kind of related: #188

This would be a very useful feature!

I looked into this and I understand what it needs to be implemented.
The user needs to create an access token in GitHub then input this token in the application.
This token will be used in the HttpHeaders for every request made to the API.

One access token is all that is needed to access all your private repos, but I can think of a reason to have a separate access token for each repo.
@johannesjo I will make a PR for it and let you updated with what I did.

@MostafaAmin07 That's really great! Please let me know if I can assist you in any way!

It might be even useful to have that for GitHub users without private repos, as it would allow us to improve the user experience without the danger of hitting that api limit all the time. But that's for the future!

Was this page helpful?
0 / 5 - 0 ratings

Related issues

generic-user picture generic-user  路  3Comments

calvadosxo picture calvadosxo  路  4Comments

sdruskat picture sdruskat  路  3Comments

mbostanara picture mbostanara  路  3Comments

theCalcaholic picture theCalcaholic  路  3Comments