woudl post a github issue but not exactly sure which repo to post in