public repository for sharing minimal repros with external projects - View it on GitHub