Skip to content

Commit

Permalink
[fix] Fix type error in call to PlatformAPI.get_repo (#20)
Browse files Browse the repository at this point in the history
  • Loading branch information
slarse authored May 11, 2021
1 parent 702050a commit 86cf714
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions repobee_feedback/feedback.py
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@
import re
import sys
import argparse
from typing import Iterable, Tuple, List
from typing import Iterable, Tuple, List, Mapping

import repobee_plug as plug

Expand All @@ -21,7 +21,7 @@


def callback(args: argparse.Namespace, api: plug.PlatformAPI) -> None:
repo_name_to_team = {
repo_name_to_team: Mapping[str, plug.StudentTeam] = {
plug.generate_repo_name(
student_team.name, assignment_name
): student_team
Expand All @@ -45,7 +45,7 @@ def callback(args: argparse.Namespace, api: plug.PlatformAPI) -> None:
issue, repo_name, args.truncation_length
)
if open_issue:
repo = api.get_repo(repo_name, repo_name_to_team[repo_name])
repo = api.get_repo(repo_name, repo_name_to_team[repo_name].name)
api.create_issue(issue.title, issue.body, repo)
else:
plug.echo("Skipping {}".format(repo_name))
Expand Down

0 comments on commit 86cf714

Please sign in to comment.