You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Recent investigations by @JosteinLindhom have revealed that we might not need to create and manage teams on GitHub (corresponding to groups on quickfeed) and instead only manage groups locally on quickfeed (since we already do that anyway). See this comment for details and draft PR #1083 for experimentally verifying this.
The text was updated successfully, but these errors were encountered:
Recent investigations by @JosteinLindhom have revealed that we might not need to create and manage teams on GitHub (corresponding to groups on quickfeed) and instead only manage groups locally on quickfeed (since we already do that anyway). See this comment for details and draft PR #1083 for experimentally verifying this.
The text was updated successfully, but these errors were encountered: