MCPcopy Create free account
hub / github.com/hunvreus/devpush / get_user_github_token

Function get_user_github_token

app/utils/user.py:34–41  ·  view source on GitHub ↗
(db: AsyncSession, user: User)

Source from the content-addressed store, hash-verified

32
33
34async def get_user_github_token(db: AsyncSession, user: User) -> str | None:
35 result = await db.execute(
36 select(UserIdentity).where(
37 UserIdentity.user_id == user.id, UserIdentity.provider == "github"
38 )
39 )
40 github_identity = result.scalar_one_or_none()
41 return github_identity.access_token if github_identity else None

Callers 4

new_project_detailsFunction · 0.90
project_settingsFunction · 0.90
github_repo_selectFunction · 0.90
github_repo_listFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected