Closed zhiayang closed 3 years ago
Thanks for letting us know @zhiayang
Should be fine now. I've created both main
and master
branches in the central repo so that either should work. I've checked one of you issues to confirm that the image is visible.
Yep, has been fixed! Thanks prof for the fast response.
Maybe this fits better on the catcher repo, but it's probably more visible here. Looks like the Catcher workflow assumes that the user's Github setting for "default branch name" is
main
, instead ofmaster
. Furthermore, it looks like the process for "transferring" links from the student's PE repo to the central issue repo is simply done via a basename replacement, without considering the actual resource path.For example, the path to a screenshot in my PE repo might be
raw.githubusercontent.com/zhiayang/pe/master/files/image.png
; the image is copied to the central repo, and the username portion is replaced. However, the central repo's branch name ismain
, leading to a 404 for all screenshots that I posted, because the central repo does not have amaster
branch.This is a pretty serious bug, and I'm not sure how many people it affects. @damithc