<idea-plugin>
  <dependencies>
    <plugin id="org.jetbrains.plugins.github"/>
  </dependencies>

  <extensions defaultExtensionNs="Educational">
    <postToGithub implementation="com.jetbrains.edu.github.PostToGithubProviderImpl"/>
  </extensions>

</idea-plugin>