Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Info Commands #223

Merged
merged 5 commits into from
Dec 6, 2023
Merged

Info Commands #223

merged 5 commits into from
Dec 6, 2023

Conversation

tuneerroy
Copy link
Contributor

@tuneerroy tuneerroy commented Nov 5, 2023

  • Command to get individual usage per group (ex: how much time has someone reserved as part of individual group or "Penn Labs" group
  • Command to display info of a user given their email or their pennkey (for finding discrepancies with data in our database vs Penn)

Copy link

codecov bot commented Nov 5, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (5216796) 89.80% compared to head (e287ffc) 89.80%.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #223   +/-   ##
=======================================
  Coverage   89.80%   89.80%           
=======================================
  Files          53       53           
  Lines        2256     2256           
=======================================
  Hits         2026     2026           
  Misses        230      230           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

self.stdout.write(f"User: {user.username}")
self.stdout.write(f"Email: {user.email}")
self.stdout.write(f"First name: {user.first_name}")
self.stdout.write(f"Last name: {user.last_name}")
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! Can we also make a similar thing on the platform repo? I think it would be more useful there since then we have access to even more data (school, major, year, etc.)

@tuneerroy tuneerroy merged commit 510045e into master Dec 6, 2023
@tuneerroy tuneerroy deleted the gsr-commands branch December 6, 2023 20:58
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.

2 participants