DFW FRC teams using GitHub

Technical Programming
1

Dallas/Ft. Worth area teams… Are you using GitHub? Our district has it blocked, and we are being told that no teams in the area are using it. I find that hard to believe (and puzzled how they would know that)…

Please let me know if you are, and/or have a good programming alternative or work around.

Thanks!

2

Have you tried GitLab? You can use a similar Git-based version management system. Although having GitHub blocked seems really odd.

2 Likes
3

Not DFW, but our school in the Milwaukee, WI area also blocks it on the public wifi and the one our students connect their Chromebooks to. The reasoning is kids have downloaded programs or programs that access GitHub to get around network blocks and such.

1 Like
4

Team 6672 in DFW definitely uses GitHub, you can find it here. (Cistercian, if you want a school name to tell your administrators.)

1 Like
5

Team 4206 uses Github

1 Like
6

In Plano ISD, GitHub was blocked for a while. When we contacted the district, they said their is nothing much they could do due to GitHub policies didn’t align with PISD. But, the district did provide a T-Mobile hotspot that we could connect to whenever we need to use GitHub. But now, GitHub is unblocked. How and why? That I’m not sure as I learned recently it was unblocked.

That is definitely not true. But you can also mention so many FRC teams use GitHub, and you can mention so many vendors codes rely on GitHub.

1 Like
7

We don’t have github itself blocked, but downloading over ssh is blocked as well as some of the vendor library links for us which is annoying. So we just use a hotspot to build and setup the deps once, then we can code and commit on school wifi. Then, at the end of the day we reconnect to our hotspots and push to github.

1 Like
8

GitHub is blocked on school devices and the internet. However, that does not mean you cannot use GitHub on your personal devices. That’s what we (Knights Robotics 6901) do. You can not use GitHub at school but bypass it by bringing your personal laptop to school and using a VPN. I do not do that, but it is an option.

9

yeah they are pretty clearly just lying to you guys, i would say the great majority of teams likely use github.

1 Like
10

We(1745/8874) use Github in RichardsonISD. We did have to go through several hoops to unblock specific repos and pages.

11

You can git clone with HTTPS urls instead of SSH if needed

2 Likes
12

This topic was automatically closed 365 days after the last reply. New replies are no longer allowed.