GitHub Repository Not Found - Case Issue?

This morning, I was pushing a small update to my blog and I received an error that my GitHub repository was unable to sync. Usually my workflow goes something like this...

  1. Commit GitHub changes via WebStorm
  2. If that doesn't work, use the GitHub Windows/WPF client
  3. Use command line Git

While I want to get better at 3, 1 is much easier and when I do 2, I am in a hurry. :)

Ultimately, I am not really sure what happened. My development environment worked fine yesterday when I committed changes, but today there were issues. I THINK it may have to do with case differences between when I setup the repository locally and how GitHub may be handling it on the backend today.

When I pushed my commit to the repo with the command

git push origin master

The following error was returned

remote: Repository not found.
fatal: repository '' not found

You can see the message below

GitHub Error

Again, no changes have been made to the repo. Similar messages appeared in the GitHub client and WebStorm. Other repositories I had on GitHub I was able to commit and push changes to. The only thing I could think was that the case was different on my local origin in comparison to the backend GitHub repository.

The fix was simple enough, reset the origin with and change the case of the URL so that it was exactly the same as my repository on GitHub.

 git remote set-url origin

After this, I was then able to commit changes without issue in all the different client apps as well as the command line.

as shown in the following screen shot

Repo found

It strikes me as pretty odd that GitHub would suddenly stop working because of a case issue between my local dev machine, which has been working fine for many months, and the GitHub server. However, that appears to be the case in this instance.

Pretty much just documenting this for my future self :)


What is Yammer... and why should your company use it?

In real life, I can tend to be a socially awkward computer geek. In digital life, I am quite social where I have accounts on Twitter, LinkedIn, Google+, etc. Recently, our company has started using Yammer and I struggled with do I need another social media account. How does Yammer work better than the sites I already use? How does it supplant and/or supplement the awesome way Skyline uses SharePoint to drive collaboration within our growing company?

One of my favorite words to use is Grok. It is from Robert Heinlein’s Stranger in a Strange Land. Essentially, grok is to understand something truly ( I try on occasion to grok things. It doesn’t always work well. So, here is where I am currently on trying to grok Yammer and how it can be used in SharePoint, within our teams, and Skyline (or your company) to enable us to better deliver for our clients.

So what is the first thing I think….. Yammer is ALL about the timeline. What do I mean by that? Let me start by example. I walk around with what I call my little black book, which is a Moleskine I use for writing stuff in it all the time. It is meeting notes, To-Dos, etc. I used to use OneNote a lot, but the reason I moved away from it is there is no sense of the flow of time. I know if I wrote something ~ three months ago, but I don’t know if I wrote it in a SharePoint ideas folder, a blog ideas folder, or my dev things to explore. I was impacted because I never had a good way to see things chronologically by paging through the content flow. The lack of timeline has moved me away from OneNote unless it is recording info from my brain. I use it for information I need at a later point. For example, what are my favorite recipes, what is the URL that explains WIF security, what is the wireless password, what music do I need to check out, that kind of stuff. OneNote has become the persistence mechanism for information I need.

I see SharePoint as the location of storage for information for companies. Essentially where instead of looking for information that is pertinent to me, SharePoint is information that is important to an organization. It is there for persistence of business information. What is the customer deliverable for a project, where is information about our benefits, where is the blog post one of my colleagues wrote on FAST search. However, not all business information NEEDS to be persisted. Some of it can be very valuable in the timeline sense. I posted a link recently within our internal Skyline Yammer about Mercury Marine expanding in Fon Du Lac. Is it interesting to Skyline? Maybe. Does it need to be in SharePoint for business needs? No. Is the information valuable for a short time frame? Definitely. It is that ephemeral type of content and discussion that Yammer is useful for.

So here is an EXCELLENT example of where Yammer is useful for an organization and how the concept of a timeline is valuable. Our CEO, Mitch Weckop, writes some pretty interesting blog posts on our SharePoint Intranet. Mitch talks about the economy or current legislation and how it can impact our business. Mitch meets with lots of our customers and shares his experiences in terms of how we can make Skyline better. Using these posts, Mitch does a great job trying to engage our associates in dialog. However, unless you subscribe to the blog posts via an alert or you notice it on our Skyline Intranet, our associates would miss it. However, if you log onto Yammer, where Mitch also posts a link back to his blog, it appears in our Associates’ timeline, right near the top, since it is recent. Organizationally, this timeline drives further value because unless you are Mitch, you are not seeing any comments that are being put on his blog after you visit it. When our company has a dialog within Yammer about the blog posts, everyone will see recent comments because they are at the top of the timeline. It essentially pokes the discussion back to the top of the information flow. Previously, this would not happen unless you were constantly checking the blog posts internally, because SharePoint does not have a great, “hey look here!” mechanism.

Yammer Home Page

So ultimately, thing one I have come to understand about Yammer is the value comes in taking the flow of organizational information, and getting in front of people in terms of timeliness. THIS is the reason email continues to persist I believe. You have a timeline. You know the emails of today are MUCH more important than the information of six months ago. SharePoint as the persistence of business critical information has a difficult time projecting this information as a flow of time for its users. Hence, Microsoft’s buy of Yammer. It allows Microsoft to provide time pertinent information to organizations on top of SharePoint’s persistence based excellence.

Thing two about Yammer is the social aspect. Any of you folks who jump on Twitter realize you learn and understand people a bit better than you otherwise would. If you follow me on Twitter, you know I occasionally babble on my family, listen to too much music, etc. Is there any business value in that? You bet. As organizations grow, they are not going to have a metaphorical water cooler to gather at. Companies need to try and use a social tools like Yammer to get a sense of the people they work with. At Skyline recently we have learned through Yammer that some of our Green Bay associates were rocking some pretty awesome mustaches for Movember. We learned about the results of sponsorships we do for hackathons in Milwaukee. We also learned who is on the naughty list (Bear fans) and who is on the nice list (Packer fans), or vice versa. Using Yammer helps employees build social capital with your organization. The cool thing this social capital does is allow us to have bad days (I went to school at UW-Madison, so I apologize if this is getting too touch/feely). You are much more likely to give the benefit of the doubt to a peer when they have a bad day if you know them personally, and social tools like Yammer help build that for organizations, especially geographically disperse organization where you do not have day to day interactions. Digital tools will never be the most important part of building social capital, but it can be valuable part, because even though you may not interact on a day to day basis, you still can learn about your peers. With Yammer, you can help socialize your culture.

To summarize

1 – Yammer is timeline. Get timely information in front of associates and yourself

2 – Yammer is dialog. Dialoging about the timely information to provide input, feedback and discussion

3 – Yammer is NOT about persistence. Yammer is not the place for project proposals, financials, etc

4- Yammer is people. Yammer can be the virtual water cooler (or Skyline style, virtual coffee machine). An opportunity to engage people as people, rather than employees

5 – Yammer is NOT required. Just like you don’t want to try and keep up to date on your entire Twitter feed, you shouldn’t have to feel like that with Yammer. Business persisted information happens generally outside of Yammer, business supplementing happens with in. As cultures grow, this can change over time, but definitely not day one!

If you want to learn more about Yammer or how your organization can use, feel free to reach out to me!

This blog origanally appeared at


Deleting Windows 8.1 Wireless Profiles

I have had some pretty strange behavior after upgrading to Windows 8.1. With Windows 8, Microsoft syncs up your wireless profiles to the cloud so when you have a new device, the wireless is already setup. So that is pretty cool. However, I have been having issues with it.

For our home network, our SSID is not broadcast, like it should be on yours :). We manually add a hidden network and connect that way. With Windows 8.1, I would not be able to connect sometimes. I would then type in the name of our (hidden) SSID and the associated Password. It would then connect to the WiFi router, but the problem was it would create a new network profile each time. The way Windows 8 appears to build the name is by adding the number for the new wirless profile by checking the cloud or synched wireless profile that it could not connecting and adding one up to it. For example, if my wireless network is called Network Name, the second time I connected it would be, Network Name 2. The third time I connected it would be Network Name 2 3, and then Network Name 2 3 4, etc. . I ended up with VERY long strings for my network names. It also appears to add these to the cloud based profile no matter how often I clean up.

Ultimately, I want to figure out how to clean up my wireless profiles that have been synched to the cloud. I don't really need or want the wireless profile for the restaraunt where I had a work meeting and accidently remembered the network. In the interim I have used PowerShell to enumerate all of the profiles and delete them, except the first one (aka Network Name).

One of the things I want to do is spend more time in the command line this year. Mostly, I want to not have to lookup how to do things to interact with GitHub. So in that vain, I wrote a PowerShell script to delete all but the first wireless profile I created.

So here is the PowerShell script

$profile = "Network Name"
$total = 32
$count = 2
netsh wlan show profiles
do {
 $profile = $profile + " " +$count
 $execCommand = "netsh wlan delete profile name=""$profile"""
 Invoke-Expression $execCommand
while ($count -le $total)

Also, as part of more command line, I have created a small GitHub repository to save scripts I create. Mostly so I can grab them when I am other machines. Feel free to have at em


John Ptacek I'm John Ptacek, a software developer for Skyline Technologies. This blog is my contains my content and opinionss, which are not those of my employer.

Currently, I am reading Norse Mythology by Neil Gaiman

@jptacekGitHubLinkedInStack OverflowGoogle+