Is the GitHub integration to pin repositories to profile working properly? It takes quite some time to load and I'm not able to unpin previously pinned repositories. 🤔
I teach computer science to undergrads and write for The Renegade Coder. I'm most likely taking care of my daughter, watching the Penguins, or reading manga.
Location
Columbus, Ohio
Education
B.S. in CE from CWRU 2016; M.S. in CSE from OSU 2020; PhD in EED from OSU 2024
Software Engineer at Uphold · Previously Software Engineer at MOXY.studio · Java/.NET Back-end and C/C++ Embedded Software Engineer at Fraunhofer Portugal AICOS
Location
Porto, Portugal
Education
M.Sc. in Electrotechnical and Computers Engineering
I teach computer science to undergrads and write for The Renegade Coder. I'm most likely taking care of my daughter, watching the Penguins, or reading manga.
Location
Columbus, Ohio
Education
B.S. in CE from CWRU 2016; M.S. in CSE from OSU 2020; PhD in EED from OSU 2024
I'm on a desktop, so it's on the top right of the page—just above the upper right pin. You might be able to search for the text directly (CTRL + F). In my case, it reads "Customize your pins".
Software Engineer at Uphold · Previously Software Engineer at MOXY.studio · Java/.NET Back-end and C/C++ Embedded Software Engineer at Fraunhofer Portugal AICOS
Location
Porto, Portugal
Education
M.Sc. in Electrotechnical and Computers Engineering
I think you've misunderstood me. 😅 I'm not talking about pinning repositories in GitHub, but pinning GitHub repositories to my Dev.to's profile via GitHub's integration.
I teach computer science to undergrads and write for The Renegade Coder. I'm most likely taking care of my daughter, watching the Penguins, or reading manga.
Location
Columbus, Ohio
Education
B.S. in CE from CWRU 2016; M.S. in CSE from OSU 2020; PhD in EED from OSU 2024
Haha! Good call. Yeah, that feature has always been a little messy. For instance, I can't pin repositories from organizations that I manage. And, the star counts seem to be wrong.
I'm also noticing the long load times as well. I just got this error while waiting:
An error occurred. Please check your browser console and email yo@dev.to for more help.
Software Engineer at Uphold · Previously Software Engineer at MOXY.studio · Java/.NET Back-end and C/C++ Embedded Software Engineer at Fraunhofer Portugal AICOS
Location
Porto, Portugal
Education
M.Sc. in Electrotechnical and Computers Engineering
Top comments (6)
I'm not sure what you're seeing on your end, but I'm able to unpin content using the "Customize your pins" option on my profile page.
Where is that option supposed to be? Next to the "Edit profile" button?
I'm on a desktop, so it's on the top right of the page—just above the upper right pin. You might be able to search for the text directly (CTRL + F). In my case, it reads "Customize your pins".
I think you've misunderstood me. 😅 I'm not talking about pinning repositories in GitHub, but pinning GitHub repositories to my Dev.to's profile via GitHub's integration.
Haha! Good call. Yeah, that feature has always been a little messy. For instance, I can't pin repositories from organizations that I manage. And, the star counts seem to be wrong.
I'm also noticing the long load times as well. I just got this error while waiting:
Yes, I've got that same error as well some times.
You probably have to give permission to do so anyway.
Anyhow, I will create an issue in Dev's GitHub repo so they can have a look at this!