Favorites repositories via "Pin to menu" aren't saved

[Ben Gauslin]

1. Select a repository
2. Add it to "Favorites" section of the menu via "Pin to menu" option
3. Tap hamburger menu icon and repository shows up in "Favorites" section
4. Close the app
5. Open the app
6. Tap hamburger menu icon
7. There's no "Favorites" section

[Ben Gauslin]

Wait, I tried it again, and now my Favorites are there. :/

Weird.

If it happens again, I'll try to post here with more detailed reproduction steps.

[Ben Gauslin]

Now they're never saved. If I close the app after pinning a few repositories, and reopen the app, the pinned/favorites section of the menu is non-existent.