Title: GitHub repo?
Last modified: April 30, 2021

---

# GitHub repo?

 *  [lkraav](https://wordpress.org/support/users/lkraav/)
 * (@lkraav)
 * [5 years, 1 month ago](https://wordpress.org/support/topic/github-repo-19/)
 * Hi. We’re looking for a more flexible option than [https://github.com/helgatheviking/Nav-Menu-Roles](https://github.com/helgatheviking/Nav-Menu-Roles)
   but our technology stack sanity condition is that plugin development and issue
   tracking should be in the open, like on GitHub or GitLab. Google search failed
   to find any, does this plugin perhaps have a GH repo with another name?
 * We’re fine also purchasing any premium licenses, conditional on the above.

The topic ‘GitHub repo?’ is closed to new replies.

 * ![](https://ps.w.org/if-menu/assets/icon-256x256.png?rev=1862232)
 * [If Menu - Visibility control for Menus](https://wordpress.org/plugins/if-menu/)
 * [Frequently Asked Questions](https://wordpress.org/plugins/if-menu/#faq)
 * [Support Threads](https://wordpress.org/support/plugin/if-menu/)
 * [Active Topics](https://wordpress.org/support/plugin/if-menu/active/)
 * [Unresolved Topics](https://wordpress.org/support/plugin/if-menu/unresolved/)
 * [Reviews](https://wordpress.org/support/plugin/if-menu/reviews/)

 * 0 replies
 * 1 participant
 * Last reply from: [lkraav](https://wordpress.org/support/users/lkraav/)
 * Last activity: [5 years, 1 month ago](https://wordpress.org/support/topic/github-repo-19/)
 * Status: not a support question