We are discussing moving to…

We are discussing moving to Github for WordCamp.org, and would like to know if there are any blockers that we have not considered yet.

Details are in the linked post, tldr: we would keep using SVNSVN Apache Subversion (often abbreviated SVN, after its command name svn) is a software versioning and revision control system. Software developers use Subversion to maintain current and historical versions of files such as source code, web pages, and documentation. Its goal is to be a mostly compatible successor to the widely used Concurrent Versions System (CVS). WordPress core and the wordpress.org released code are all centrally managed through SVN. https://subversion.apache.org/. as a release tool so that deployDeploy Launching code from a local development environment to the production web server, so that it's available to visitors. scripts etc keep on working. We will sync to SVN from GitGit Git is a free and open source distributed version control system designed to handle everything from small to very large projects with speed and efficiency. Git is easy to learn and has a tiny footprint with lightning fast performance. Most modern plugin and theme development is being done with this version control system. https://git-scm.com/. at start of the deploy process.

#prio2

Change plugins.svn linting to PHP 7.current please

As a follow up to https://make.wordpress.org/systems/2018/03/12/change-all-svn-php-linting-to-php7/ and https://meta.trac.wordpress.org/ticket/3791 can we please switch the PHP linting for plugins.svn to 7.2 and keep it up-to-date with newer PHP branches as they’re deployed for WordPress.org?

Although this is specifically for plugins.svn, the same should be applicable to all SVNs now, as any which require an older PHPPHP PHP (recursive acronym for PHP: Hypertext Preprocessor) is a widely-used open source general-purpose scripting language that is especially suited for web development and can be embedded into HTML. http://php.net/manual/en/intro-whatis.php. version will be enforced through Travis and other tools.

Having the linter exclude newer syntax is becoming a limitation for pluginPlugin A plugin is a piece of software containing a group of functions that can be added to a WordPress website. They can extend functionality or add new features to your WordPress websites. WordPress plugins are written in the PHP programming language and integrate seamlessly with WordPress. These can be free in the WordPress.org Plugin Directory https://wordpress.org/plugins/ or can be cost-based plugin from a third-party developers and with the work being done around plugins specifying minimum PHP versions, and increasing the WordPress minimum versions, is going to result in more plugins requiring PHP 7.1/7.2/etc.

#prio1